Omitting types and AF algebras

DOI10.1007/S00153-013-0360-9zbMath1348.03035arXiv1212.3576OpenAlexW2078212057MaRDI QIDQ2436615

Ilijas Farah, Kevin Carlson, Nigel Sequeira, Enoch Cheung, Alexander Sherman, Alexander Gerhardt-Bourke, Leanne Mezuman, Bradd Hart

Publication date: 25 February 2014

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1212.3576

zbMATH Keywords

UHF algebrasomitting typesAF algebras

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Classifications of (C^*)-algebras (46L35) Applications of model theory (03C98)

Related Items (12)

Model theory and the QWEP conjecture ⋮ Omitting types in logic of metric structures ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ Concrete barriers to quantifier elimination in finite dimensional C*‐algebras ⋮ Robinson forcing and the quasidiagonality problem ⋮ AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS ⋮ Saturation and elementary equivalence of \(C^\ast\)-algebras ⋮ ENFORCEABLE OPERATOR ALGEBRAS ⋮ Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras ⋮ Model theory of 𝐶*-algebras ⋮ Model theory and Rokhlin dimension for compact quantum group actions ⋮ On Kirchberg's embedding problem

Cites Work

• Unnamed Item
• Unnamed Item
• Model theory of operator algebras. II: Model theory
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Lifting solutions to perturbing problems in \(C^*\)-algebras
• On some \(C^ *\)-algebras considered by Glimm
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Nonseparable UHF algebras. I: Dixmier's problem
• On the Complexity of the Classification Problem for Torsion-Free Abelian Groups of Finite Rank
• Nonseparable Uhf Algebras Ii: Classification
• On a Certain Class of Operator Algebras
• Regularity properties in the classification program for separable amenable C*-algebras
• On a Simple Unital Projectionless C*-Algebra
• Shape theory for $C^*$-algebras.
• The Descriptive Set Theory of C*-algebra Invariants
• Model theory of operator algebras I: stability
• \(C^*\)-algebras by example

This page was built for publication: Omitting types and AF algebras