Omitting types and AF algebras

Authors

Kevin Carlson, Indiana University
Enoch Cheung, University of California
Ilijas Farah, York University
Alexander Gerhardt-Bourke, University of WollongongFollow
Bradd Hart, McMaster University
Leanne Mezuman, University of Guelph
Nigel Sequeira, McMaster University
Alexander Sherman, University of Maryland

RIS ID

87401

Publication Details

Carlson, K., Cheung, E., Farah, I., Gerhardt-Bourke, A., Hart, B., Mezuman, L., Sequeira, N. & Sherman, A. (2014). Omitting types and AF algebras. Archive for Mathematical Logic, 53 (1-2), 157-169.

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.