Omitting types and AF algebras

DOI10.1007/S00153-013-0360-9zbMATH Open1348.03035arXiv1212.3576OpenAlexW2078212057MaRDI QIDQ2436615FDOQ2436615

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)

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

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

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

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)

Cites Work

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

Cited In (12)

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

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)