abstract We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.
authors Carlson, Kevin Cheung, Enoch Farah, Ilijas Gerhardt-Bourke, Alexander Hart, Bradd Mezuman, Leanne Sequeira, Nigel Sherman, Alexander
keywords AF algebras CLASSIFICATION Logic Mathematics Omitting types Physical Sciences Science & Technology Science & Technology - Other Topics UHF algebras