Omitting types and AF algebras

, , , , , , &
Archive for Mathematical Logic 53 (1):157-169 (2014)
  Copy   BIBTEX

Abstract

We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-013-0360-9

Links

PhilArchive



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

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

Fraïssé Limits of C*-Algebras.Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk & Martino Lupini - 2016 - Journal of Symbolic Logic 81 (2):755-773.
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. [REVIEW]Itaï Ben Yaacov - 2015 - Bulletin of Symbolic Logic 21 (4):425-427.
Forcing axioms and coronas of C∗-algebras.Paul McKenney & Alessandro Vignati - 2021 - Journal of Mathematical Logic 21 (2):2150006.
Forcing axioms and coronas of C∗-algebras.Paul McKenney & Alessandro Vignati - 2021 - Journal of Mathematical Logic 21 (2):2150006.
Natural dualities for varieties of BL-algebras.Antonio Di Nola & Philippe Niederkorn - 2005 - Archive for Mathematical Logic 44 (8):995-1007.
A proof‐theoretic metatheorem for tracial von Neumann algebras.Liviu Păunescu & Andrei Sipoş - 2023 - Mathematical Logic Quarterly 69 (1):63-76.
Decomposability of free Łukasiewicz implication algebras.Jose Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
The small index property for countable superatomic boolean algebras.J. K. Truss - 2023 - Archive for Mathematical Logic 62 (7):991-1000.
$$\Pi^0_1$$ -Presentations of Algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
Spectral MV-algebras and equispectrality.Giuseppina Gerarda Barbieri, Antonio Di Nola & Giacomo Lenzi - forthcoming - Archive for Mathematical Logic:1-27.

Analytics

Added to PP
2014-01-21

Downloads
27 (#609,703)

6 months
10 (#308,815)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Omitting types in logic of metric structures.Ilijas Farah & Menachem Magidor - 2018 - Journal of Mathematical Logic 18 (2):1850006.
An invitation to model theory and c*-algebras.Martino Lupini - 2019 - Bulletin of Symbolic Logic 25 (1):34-100.

Add more citations

References found in this work

Definability of groups in ℵ₀-stable metric structures.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):817-840.
Definability of groups in ℵ₀-stable metric structures.Itaï Yaacov - 2010 - Journal of Symbolic Logic 75 (3):817-840.

Add more references