Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825–838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. _Model theory of operator algebras II: model theory_. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477–505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. _Model theory of operator algebras III: elementary equivalence and_ II 1 _factors_. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609–628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. _The theory of tracial von Neumann algebras does not have a model companion_. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000–1004 [Book Review]

Bulletin of Symbolic Logic 21 (4):425-427 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2015.32

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bradd Hart and Matthew Valeriote. A structure theorem for strongly abelian varieties with few models. The journal of symbolic logic, vol. 56 , pp. 832–852. - Bradd Hart and Sergei Starchenko. Addendum to “A structure theorem for strongly abelian varieties.”The journal of symbolic logic., vol. 58 , pp. 1419–1425. - Bradd Hart, Sergei Starchenko, and Matthew Valeriote. Vaught's conjecture for varieties. Transactions of the American Mathematical Society, vol. 342 , pp. 173–196. - B. Hart and S. Starchenko. Superstable quasi-varieties. Annals of pure and applied logic, vol. 69 , pp. 53–71. - B. Hart, A. Pillay, and S. Starchenko. Triviality, NDOP and stable varieties. Annals of pure and applied logic., vol. 62 , pp. 119–146.Ralph McKenzie - 1999 - Journal of Symbolic Logic 64 (4):1820-1821.
A proof‐theoretic metatheorem for tracial von Neumann algebras.Liviu Păunescu & Andrei Sipoş - 2023 - Mathematical Logic Quarterly 69 (1):63-76.
Farah Ilijas. Analytic quotients. Memoirs of the American Mathematical Society vol. 148 no. 702, American Mathematical Society, Providence, RI, 2000, xvi+ 177 pp. [REVIEW]D. H. Fremlin - 2006 - Bulletin of Symbolic Logic 12 (1):126-128.
Ilijas Farah. All automorphisms of the Calkin algebra are inner. Annals of Mathematics, vol. 173 , no. 2, pp. 619–661. [REVIEW]Ernest Schimmerling - 2011 - Bulletin of Symbolic Logic 17 (3):467-470.
Logic and C* -algebras: Set Theoretical Dichotomies in the Theory of Continuous Quotients, York University, Toronto, Canada, 2017. Supervised by Ilijas Farah.Alessandro Vignati - 2018 - Bulletin of Symbolic Logic 24 (2):194-195.
James Cummings and Ernest Schimmerling, editors. Lecture Note Series of the London Mathematical Society, vol. 406. Cambridge University Press, New York, xi + 419 pp. - Paul B. Larson, Peter Lumsdaine, and Yimu Yin. An introduction to P max forcing. pp. 5–23. - Simon Thomas and Scott Schneider. Countable Borel equivalence relations. pp. 25–62. - Ilijas Farah and Eric Wofsey. Set theory and operator algebras. pp. 63–119. - Justin Moore and David Milovich. A tutorial on set mapping reflection. pp. 121–144. - Vladimir G. Pestov and Aleksandra Kwiatkowska. An introduction to hyperlinear and sofic groups. pp. 145–185. - Itay Neeman and Spencer Unger. Aronszajn trees and the SCH. pp. 187–206. - Todd Eisworth, Justin Tatch Moore, and David Milovich. Iterated forcing and the Continuum Hypothesis. pp. 207–244. - Moti Gitik and Spencer Unger. Short extender forcing. pp. 245–263. - Alexander S. Kechris and Robin D. Tucker-Drob. The complexity of classification problems in ergodic theory. pp. 265–2. [REVIEW]Natasha Dobrinen - 2014 - Bulletin of Symbolic Logic 20 (1):94-97.
James Cummings and Ernest Schimmerling, editors. Lecture Note Series of the London Mathematical Society, vol. 406. Cambridge University Press, New York, xi + 419 pp. - Paul B. Larson, Peter Lumsdaine, and Yimu Yin. An introduction to Pmax forcing. pp. 5–23. - Simon Thomas and Scott Schneider. Countable Borel equivalence relations. pp. 25–62. - Ilijas Farah and Eric Wofsey. Set theory and operator algebras. pp. 63–119. - Justin Moore and David Milovich. A tutorial on set mapping reflection. pp. 121–144. - Vladimir G. Pestov and Aleksandra Kwiatkowska. An introduction to hyperlinear and sofic groups. pp. 145–185. - Itay Neeman and Spencer Unger. Aronszajn trees and the SCH. pp. 187–206. - Todd Eisworth, Justin Tatch Moore, and David Milovich. Iterated forcing and the Continuum Hypothesis. pp. 207–244. - Moti Gitik and Spencer Unger. Short extender forcing. pp. 245–263. - Alexander S. Kechris and Robin D. Tucker-Drob. The complexity of classification problems in ergodic theory. pp. 265–29. [REVIEW]Natasha Dobrinen - 2014 - Bulletin of Symbolic Logic 20 (1):94-97.
Staples John. A non-standard representation of Boolean algebras, and applications. The bulletin of the London Mathematical Society, vol. 1 , pp. 315–320. [REVIEW]Abraham Robinson - 1973 - Journal of Symbolic Logic 38 (2):337-337.
Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs_. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892. - Manuel Lerman, Reed Solomon, and Henry Towsner, _Separating principles below Ramsey’s Theorem for Pairs_. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ _does not imply WKL_ 0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620. - Lu Liu, _Cone avoiding closed sets_. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630. - Wei Wang, _Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1–25. [REVIEW]Denis R. Hirschfeldt - 2016 - Bulletin of Symbolic Logic 22 (4):526-530.
Diamond A. H. and McKinsey J. C. C.. Algebras and their sub-algebras. Bulletin of the American Mathematical Society, vol. 53 , pp. 969–962. [REVIEW]William Boone - 1948 - Journal of Symbolic Logic 13 (1):51-51.

Analytics

Added to PP
2016-06-30

Downloads
42 (#390,669)

6 months
6 (#587,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references