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. 
Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke,   Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexande...
math.LO math.OA