RIS ID
87401
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.
87401
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.
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.