On Kirchberg's embedding problem

DOI10.1016/j.jfa.2015.02.016zbMath1410.46039arXiv1404.1861OpenAlexW2963768093MaRDI 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

exactnessnuclearitymodel theoretic forcingcontinuous logic of metric structures

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Applications of model theory (03C98) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic forcing (03C25)

Related Items

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item