{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T10:20:12Z","timestamp":1775470812445,"version":"3.50.1"},"reference-count":85,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"unspecified","delay-in-days":31,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2019,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present an introductory survey to first order logic for metric structures and its applications to C*-algebras.<\/jats:p>","DOI":"10.1017\/bsl.2018.3","type":"journal-article","created":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T09:58:15Z","timestamp":1554112695000},"page":"34-100","source":"Crossref","is-referenced-by-count":2,"title":["AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS"],"prefix":"10.1017","volume":"25","author":[{"given":"MARTINO","family":"LUPINI","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2019,4,1]]},"reference":[{"key":"S1079898618000033_ref85","first-page":"429","article-title":"Asymptotically commuting finite rank unitary operators without commuting approximants","volume":"45","author":"Voiculescu","year":"1983","journal-title":"Acta Universitatis Szegediensis"},{"key":"S1079898618000033_ref82","doi-asserted-by":"publisher","DOI":"10.1007\/s00220-008-0665-4"},{"key":"S1079898618000033_ref80","doi-asserted-by":"crossref","DOI":"10.1515\/9781400835409","volume-title":"Introduction to Ramsey Spaces","volume":"174","author":"Todorcevic","year":"2010"},{"key":"S1079898618000033_ref78","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.20217"},{"key":"S1079898618000033_ref77","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2017.06.008"},{"key":"S1079898618000033_ref73","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/167\/1292016"},{"key":"S1079898618000033_ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4314-4"},{"key":"S1079898618000033_ref70","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/060"},{"key":"S1079898618000033_ref69","doi-asserted-by":"publisher","DOI":"10.1007\/BF02099436"},{"key":"S1079898618000033_ref67","first-page":"117","article-title":"Real rank and exponential length of tensor products with ${{\\cal O}_\\infty }$.","volume":"47","author":"Phillips","year":"2002","journal-title":"Journal of Operator Theory"},{"key":"S1079898618000033_ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04825-2"},{"key":"S1079898618000033_ref68","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-07-13915-2"},{"key":"S1079898618000033_ref66","first-page":"449","article-title":"Hyperlinear and sofic groups: A brief guide","volume":"14","author":"Pestov","year":"2008","journal-title":"this Journal"},{"key":"S1079898618000033_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28517-2"},{"key":"S1079898618000033_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfa.2016.09.023"},{"key":"S1079898618000033_ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008668011406"},{"key":"S1079898618000033_ref5","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-97-04088-4"},{"key":"S1079898618000033_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s002080050039"},{"key":"S1079898618000033_ref61","doi-asserted-by":"publisher","DOI":"10.1006\/aima.2001.2041"},{"key":"S1079898618000033_ref76","doi-asserted-by":"publisher","DOI":"10.4171\/JNCG\/279"},{"key":"S1079898618000033_ref21","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.50.6.1143"},{"key":"S1079898618000033_ref6","doi-asserted-by":"publisher","DOI":"10.2307\/2274391"},{"key":"S1079898618000033_ref52","volume-title":"Annals of Mathematics Studies","volume":"3","author":"G\u00f6del","year":"1940"},{"key":"S1079898618000033_ref81","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-08-04583-2"},{"key":"S1079898618000033_ref4","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1959-10344-X"},{"key":"S1079898618000033_ref22","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.51.1.105"},{"key":"S1079898618000033_ref57","doi-asserted-by":"publisher","DOI":"10.1007\/PL00011162"},{"key":"S1079898618000033_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2004.06.023"},{"key":"S1079898618000033_ref79","doi-asserted-by":"publisher","DOI":"10.1515\/JGT.2011.102"},{"key":"S1079898618000033_ref58","volume-title":"London Mathematical Society Student Texts","volume":"2","author":"Hodges","year":"1985"},{"key":"S1079898618000033_ref65","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1007-8"},{"key":"S1079898618000033_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.topol.2016.04.008"},{"key":"S1079898618000033_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2007.10.011"},{"key":"S1079898618000033_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511735219.011"},{"key":"S1079898618000033_ref64","doi-asserted-by":"publisher","DOI":"10.1142\/S0129167X04002417"},{"key":"S1079898618000033_ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2586802"},{"key":"S1079898618000033_ref75","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/6931"},{"key":"S1079898618000033_ref35","first-page":"35","article-title":"Countable saturation of corona algebras","volume":"35","author":"Farah","year":"2013","journal-title":"Comptes Rendus Math\u00e9matiques de l\u2019Acad\u00e9mie des Sciences"},{"key":"S1079898618000033_ref50","volume-title":"Almost commuting matrices with respect to normalized Hilbert-Schmidt norm","author":"Glebsky","year":"2010"},{"key":"S1079898618000033_ref33","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2011.173.2.1"},{"key":"S1079898618000033_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19333-5"},{"key":"S1079898618000033_ref9","doi-asserted-by":"publisher","DOI":"10.1142\/S0129167X16501056"},{"key":"S1079898618000033_ref1","doi-asserted-by":"publisher","DOI":"10.2307\/2374125"},{"key":"S1079898618000033_ref60","doi-asserted-by":"publisher","DOI":"10.1515\/crll.2000.065"},{"key":"S1079898618000033_ref32","doi-asserted-by":"publisher","DOI":"10.4310\/MRL.2011.v18.n3.a9"},{"key":"S1079898618000033_ref3","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/6706"},{"key":"S1079898618000033_ref74","first-page":"132","volume-title":"Essays on the Foundations of Mathematics","author":"Shoenfield","year":"1961"},{"key":"S1079898618000033_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-9078-6_85"},{"key":"S1079898618000033_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-014-1046-7"},{"key":"S1079898618000033_ref15","doi-asserted-by":"publisher","DOI":"10.1215\/00127094-0000017X"},{"key":"S1079898618000033_ref16","first-page":"265","volume-title":"Annals of Mathematics. Second Series","volume":"105","author":"Brown","year":"1977"},{"key":"S1079898618000033_ref41","doi-asserted-by":"publisher","DOI":"10.1090\/proc\/13137"},{"key":"S1079898618000033_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfa.2015.02.013"},{"key":"S1079898618000033_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0022-1236(91)90056-B"},{"key":"S1079898618000033_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-013-0360-9"},{"key":"S1079898618000033_ref23","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2014-06146-1"},{"key":"S1079898618000033_ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfa.2018.03.020"},{"key":"S1079898618000033_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01625776"},{"key":"S1079898618000033_ref43","doi-asserted-by":"publisher","DOI":"10.1090\/proc\/13736"},{"key":"S1079898618000033_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfa.2015.04.013"},{"key":"S1079898618000033_ref28","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-2011-11222-X"},{"key":"S1079898618000033_ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-013-0329-8"},{"key":"S1079898618000033_ref34","first-page":"173","article-title":"Existentially closed II1 factors","volume":"233","author":"Farah","year":"2016","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898618000033_ref29","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-08-01199-3"},{"key":"S1079898618000033_ref36","unstructured":"[36] Farah I. , Hart B. , Lupini M. , Robert L. , Tikuisis A. , Vignati A. , and Winter W. , Model theory of C*-algebras. Memoirs of the American Mathematical Society, to appear."},{"key":"S1079898618000033_ref83","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-07-04173-6"},{"key":"S1079898618000033_ref54","doi-asserted-by":"publisher","DOI":"10.2178\/jsl.7803170"},{"key":"S1079898618000033_ref62","volume-title":"Lifting Solutions to Perturbing Problems in C*-Algebras","volume":"8","author":"Loring","year":"1997"},{"key":"S1079898618000033_ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(76)90242-8"},{"key":"S1079898618000033_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s00029-016-0237-y"},{"key":"S1079898618000033_ref47","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.2017.66.5951"},{"key":"S1079898618000033_ref38","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/bdt014"},{"key":"S1079898618000033_ref84","first-page":"189","article-title":"Nontrivial homeomorphisms of Cech-Stone remainders","volume":"10","author":"Vignati","year":"2017","journal-title":"M\u00fcnster Journal of Mathematics"},{"key":"S1079898618000033_ref40","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/bdu012"},{"key":"S1079898618000033_ref42","doi-asserted-by":"publisher","DOI":"10.1142\/S021906131850006X"},{"key":"S1079898618000033_ref45","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061310000936"},{"key":"S1079898618000033_ref46","doi-asserted-by":"publisher","DOI":"10.1017\/S1474748014000218"},{"key":"S1079898618000033_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfa.2013.04.004"},{"key":"S1079898618000033_ref48","unstructured":"[48] Gardella E , Kalantar M. , and Lupini M. , Rokhlin dimension for compact quantum group actions. Journal of Noncommutative Geometry, to appear."},{"key":"S1079898618000033_ref51","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1960-0112057-5"},{"key":"S1079898618000033_ref53","author":"Goldbring","year":"2017"},{"key":"S1079898618000033_ref55","doi-asserted-by":"publisher","DOI":"10.1142\/S0129167X17500082"},{"key":"S1079898618000033_ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfa.2015.02.016"},{"key":"S1079898618000033_ref59","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1353\/ajm.1999.0012","article-title":"On a simple unital projectionless C*-algebra","volume":"121","author":"Jiang","year":"1999","journal-title":"American Journal of Mathematics"},{"key":"S1079898618000033_ref63","first-page":"443","volume-title":"Proceedings of the London Mathematical Society. Third Series","volume":"21","author":"McDuff","year":"1970"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898618000033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,22]],"date-time":"2019-11-22T16:52:40Z","timestamp":1574441560000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.cambridge.org\/core\/product\/identifier\/S1079898618000033\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":85,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["S1079898618000033"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1017\/bsl.2018.3","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3]]}}}