Omitting types and AF algebras
We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.
math.LO↗
arXiv subjects
Publications and source records attributed to Nigel Sequeira.
We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.