On Kirchberg's embedding problem

DOI10.1016/j.jfa.2015.02.016zbMath1410.46039arXiv1404.1861MaRDI QIDQ2344853

Thomas Sinclair, Isaac Goldbring

Publication date: 18 May 2015

Published in: Journal of Functional Analysis (Search for Journal in Brave)

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

zbMATH Keywords

exactness; nuclearity; model theoretic forcing; continuous logic of metric structures

Mathematics Subject Classification ID

46L05: General theory of (C^*)-algebras

03C98: Applications of model theory

03C10: Quantifier elimination, model completeness, and related topics

03C25: Model-theoretic forcing

Related Items

Omitting types in logic of metric structures, AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS, Obstructions to countable saturation in corona algebras, ENFORCEABLE OPERATOR ALGEBRAS, ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS, Lipschitz geometry of operator spaces and Lipschitz-free operator spaces, The pseudoarc is a co-existentially closed continuum, Uniqueness, universality, and homogeneity of the noncommutative Gurarij space, Model theory and the QWEP conjecture, Applications of model theory to \(C^*\)-dynamics, Model-theoretic aspects of the Gurarij operator system, The Ramsey property for operator spaces and noncommutative Choquet simplices, An intrinsic order-theoretic characterization of the weak expectation property, Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors, The Ramsey property for Banach spaces and Choquet simplices, The Calkin algebra is \(\aleph_1\)-universal, Continuous model theories for von Neumann algebras, Model theory and Rokhlin dimension for compact quantum group actions, Robinson forcing and the quasidiagonality problem, Model theory of 𝐶*-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory of operator algebras. II: Model theory
• Some model-theoretic correspondences between dimension groups and AF algebras
• Amenability, tubularity, and embeddings into \(\mathcal{R}^{\omega}\)
• Generic separable metric structures
• Model theoretic forcing in analysis
• Topological methods for C*-algebras. II: Geometric resolutions and the Kuenneth formula
• Injectivity and operator spaces
• Topological entropy in exact \(C^*\)-algebras
• On non-semisplit extensions, tensor products and exactness of group \(C^*\)-algebras
• Model-theoretic aspects of the Gurarij operator system
• A note on quasi-diagonal \(C^*\)-algebras and homotopy
• Lifting problems and local reflexivity for \(C^ *\)-algebras
• Bilinear forms on exact operator spaces and \(B(H) \otimes B(H)\)
• Omitting types and AF algebras
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Existentially closed ${\rm II}_1$ factors
• The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion
• Strongly self-absorbing $C^{*}$-algebras
• Embedding of exact C* -algebras in the Cuntz algebra 𝒪2
• $C^*$-algebras with the weak expectation property and a multivariable analogue of Ando's theorem on the numerical radius
• Model theory of operator algebras III: elementary equivalence and II₁factors
• Hyperlinear and Sofic Groups: A Brief Guide
• Ultraproducts of finite sets