{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:45:06Z","timestamp":1775839506094,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2013,11,12]],"date-time":"2013-11-12T00:00:00Z","timestamp":1384214400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s00153-013-0360-9","type":"journal-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T09:08:34Z","timestamp":1384160914000},"page":"157-169","source":"Crossref","is-referenced-by-count":17,"title":["Omitting types and AF algebras"],"prefix":"10.1007","volume":"53","author":[{"given":"Kevin","family":"Carlson","sequence":"first","affiliation":[]},{"given":"Enoch","family":"Cheung","sequence":"additional","affiliation":[]},{"given":"Ilijas","family":"Farah","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Gerhardt-Bourke","sequence":"additional","affiliation":[]},{"given":"Bradd","family":"Hart","sequence":"additional","affiliation":[]},{"given":"Leanne","family":"Mezuman","sequence":"additional","affiliation":[]},{"given":"Nigel","family":"Sequeira","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Sherman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,12]]},"reference":[{"key":"360_CR1","unstructured":"Ben-Ya\u2019acov, I.: On a C*-algebra formalism for continuous first order logic, preprint, available at http:\/\/math.univ-lyon1.fr\/homes-www\/begnac\/ (2008)"},{"key":"360_CR2","doi-asserted-by":"crossref","unstructured":"Ben-Ya\u2019acov, I.: Definability of groups in $${\\aleph_0}$$ \u2135 0 -stable metric structures, arXiv preprint arXiv:0802.4286 (2010)","DOI":"10.2178\/jsl\/1278682202"},{"key":"360_CR3","doi-asserted-by":"crossref","unstructured":"Ben Yaacov, I., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model Theory for Metric Structures, Model Theory with Applications to Algebra and Analysis, vol. II (Z. Chatzidakis et al. eds.), London Math. Soc. Lecture Notes Series, no. 350, Cambridge University Press, 2008, pp. 315\u2013427","DOI":"10.1017\/CBO9780511735219.011"},{"key":"360_CR4","unstructured":"Bice, T.: A brief note on omitting partial types in continuous model theory, preprint (2012)"},{"issue":"2","key":"360_CR5","doi-asserted-by":"crossref","first-page":"249","DOI":"10.7146\/math.scand.a-12100","volume":"56","author":"B. Blackadar","year":"1985","unstructured":"Blackadar B.: Shape theory for C*-algebras. Math. Scand. 56(2), 249\u2013275 (1985)","journal-title":"Math. Scand."},{"key":"360_CR6","doi-asserted-by":"crossref","unstructured":"Blackadar, B.: Operator Algebras, Encyclopaedia of Mathematical Sciences, vol. 122, Springer, Berlin, 2006, Theory of C*-algebras and von Neumann algebras, Operator Algebras and Non-commutative Geometry, III","DOI":"10.1007\/3-540-28517-2"},{"key":"360_CR7","doi-asserted-by":"crossref","DOI":"10.1090\/fim\/006","volume-title":"C*-Algebras by Example, Fields Institute Monographs, vol. 6","author":"K.R. Davidson","year":"1996","unstructured":"Davidson K.R.: C*-Algebras by Example, Fields Institute Monographs, vol. 6. American Mathematical Society, Providence (1996)"},{"key":"360_CR8","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/0022-1236(67)90031-6","volume":"1","author":"J. Dixmier","year":"1967","unstructured":"Dixmier J.: On some C*-algebras considered by Glimm. J. Funct. Anal. 1, 182\u2013203 (1967)","journal-title":"J. Funct. Anal."},{"issue":"1","key":"360_CR9","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0021-8693(76)90242-8","volume":"38","author":"G.A. Elliott","year":"1976","unstructured":"Elliott G.A.: On the classification of inductive limits of sequences of semisimple finite-dimensional algebras. J. Algebra 38(1), 29\u201344 (1976)","journal-title":"J. Algebra"},{"issue":"2","key":"360_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1090\/S0273-0979-08-01199-3","volume":"45","author":"G.A. Elliott","year":"2008","unstructured":"Elliott G.A., Toms A.S.: Regularity properties in the classification program for separable amenable C*-algebras. Bull. Am. Math. Soc. 45(2), 229\u2013245 (2008)","journal-title":"Bull. Am. Math. Soc."},{"key":"360_CR11","unstructured":"Farah, I.: Selected applications of logic to classification problem of C*-algebras, IMS 2012 Singapore Graduate Summer School Lecture Notes (C.T. Chong et al. eds.), to appear, available at http:\/\/www.math.yorku.ca\/~ifarah\/preprints.html"},{"key":"360_CR12","doi-asserted-by":"crossref","unstructured":"Farah, I., Hart, B., Robert, L., Tikuisis, A., Toms, A., Winter, W.: Logic of metric structures and nuclear C*-algebras, Oberwolfach Reports. doi: 10.4171\/OWR\/2013\/43","DOI":"10.4171\/OWR\/2013\/43"},{"key":"360_CR13","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1112\/blms\/bdt014","volume":"45","author":"I. Farah","year":"2013","unstructured":"Farah I., Hart B., Sherman D.: Model theory of operator algebras I: stability. Bull. Lond. Math. Soc. 45, 825\u2013838 (2013)","journal-title":"Bull. Lond. Math. Soc."},{"key":"360_CR14","unstructured":"Farah, I., Hart, B., Sherman, D.: Model theory of operator algebras II: model theory, Israel J. Math. (to appear), arXiv:1004.0741"},{"issue":"3","key":"360_CR15","doi-asserted-by":"crossref","first-page":"1399","DOI":"10.1016\/j.aim.2010.04.006","volume":"225","author":"I. Farah","year":"2010","unstructured":"Farah I., Katsura T.: Nonseparable UHF algebras I: Dixmier\u2019s problem. Adv. Math. 225(3), 1399\u20131430 (2010)","journal-title":"Adv. Math."},{"key":"360_CR16","unstructured":"Farah, I., Katsura, T.: Nonseparable UHF algebras II: Classification. Math. Scand. (to appear), preprint arXiv:1301.6152"},{"key":"360_CR17","doi-asserted-by":"crossref","unstructured":"Farah, I., Toms, A.S., T\u00f6rnquist, A.: The descriptive set theory of C*-algebra invariants. IMRN. doi: 10.1093\/imrn\/rns206 , Appendix with Caleb Eckhardt","DOI":"10.1093\/imrn\/rns206"},{"key":"360_CR18","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1090\/S0002-9947-1960-0112057-5","volume":"95","author":"J.G. Glimm","year":"1960","unstructured":"Glimm J.G.: On a certain class of operator algebras. Trans. Am. Math. Soc. 95, 318\u2013340 (1960)","journal-title":"Trans. Am. Math. Soc."},{"key":"360_CR19","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1353\/ajm.1999.0012","volume":"121","author":"X. Jiang","year":"1999","unstructured":"Jiang X., Su H.: On a simple unital projectionless C*-algebra. Am. J. Math 121, 359\u2013413 (1999)","journal-title":"Am. J. Math"},{"key":"360_CR20","volume-title":"Lifting Solutions to Perturbing Problems in C*-Algebras, Fields Institute Monographs, vol. 8","author":"T.A. Loring","year":"1997","unstructured":"Loring T.A.: Lifting Solutions to Perturbing Problems in C*-Algebras, Fields Institute Monographs, vol. 8. American Mathematical Society, Providence (1997)"},{"key":"360_CR21","unstructured":"Robert, L.: Nuclear dimension and sums of commutators, arXiv preprint arXiv:1309.0498 (2013)"},{"key":"360_CR22","volume-title":"Classification of Nuclear C*-Algebras, Encyclopaedia of Math. Sciences, vol. 126","author":"M. R\u00f8rdam","year":"2002","unstructured":"R\u00f8rdam M.: Classification of Nuclear C*-Algebras, Encyclopaedia of Math. Sciences, vol. 126. Springer, Berlin (2002)"},{"issue":"3","key":"360_CR23","doi-asserted-by":"crossref","first-page":"329","DOI":"10.2307\/2687752","volume":"7","author":"S. Thomas","year":"2001","unstructured":"Thomas S.: On the complexity of the classification problem for torsion-free abelian groups of finite rank. Bull. Symb. Log. 7(3), 329\u2013344 (2001)","journal-title":"Bull. Symb. Log."},{"key":"360_CR24","unstructured":"Winter, W.: Ten Lectures on Topological and Algebraic Regularity Properties of Nuclear C*-algebras, CBMS Conference Notes, to appear"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0360-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-013-0360-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0360-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T10:27:01Z","timestamp":1688639221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-013-0360-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,12]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["360"],"URL":"https:\/\/doi.org\/10.1007\/s00153-013-0360-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,12]]}}}