2012/12/14 by Kevin Carlson, Enoch Cheung, Carlson, Kevin +13 · 1 citation
Mathematics · #Advanced Operator Algebra Research #Advanced Topics in Algebra #Algebraic structures and combinatorial models #math.LO #math.OA
paper · pdf · doi:10.48550/arxiv.1212.3576
The present version includes an additional section with the relevant model-theoretic background
arxiv created 2012/12/23 · arxiv updated 2012/12/27
We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.