Journal article
Omitting types and AF algebras
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.
Authors
Carlson K; Cheung E; Farah I; Gerhardt-Bourke A; Hart B; Mezuman L; Sequeira N; Sherman A
Journal
Archive for Mathematical Logic, Vol. 53, No. 1-2, pp. 157–169
Publisher
Springer Nature
Publication Date
February 2014
DOI
10.1007/s00153-013-0360-9
ISSN
0933-5846