Omitting types and AF algebras

DOI10.1007/S00153-013-0360-9MaRDI QIDQ2436615zbMATH OpenOpenAlexFDO

Authors Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Leanne Mezuman, Nigel Sequeira, Alexander Sherman, 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

omitting typesUHF algebrasAF algebras

Mathematics Subject Classification ID

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

Abstract: We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.

Recommendations

• Omitting types algebraically via cylindric algebras
• Omitting types for finite variable fragments and complete representations of algebras
• Omitting types for algebraizable extensions of first order logic
• Omitting types algebraically and more about amalgamation for modal cylindric algebras
• An omitting types theorem in finite schematizable algebraic logic
• Omitting types in -minimal theories
• An omitting types theorem for saturated structures
• Omitting types in incomplete theories
• Omitting types in logic of metric structures
• A generalization of Shelah's omitting types theorem

Cites work

• scientific article; zbMATH DE number 1808204 (Why is no real title available?)
• Lifting solutions to perturbing problems in \(C^*\)-algebras
• Model theory for metric structures
• Model theory of operator algebras. I: Stability
• Model theory of operator algebras. II: Model theory
• Nonseparable UHF algebras. I: Dixmier's problem
• Nonseparable UHF algebras. II: Classification
• On a Certain Class of Operator Algebras
• On a Simple Unital Projectionless C*-Algebra
• On some \(C^ *\)-algebras considered by Glimm
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• On the complexity of the classification problem for torsion-free Abelian groups of finite rank
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Regularity properties in the classification program for separable amenable C*-algebras
• Shape theory for $C^*$-algebras.
• The Descriptive Set Theory of C*-algebra Invariants
• \(C^*\)-algebras by example

Cited in

(12)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2436615)