Enforceable operator algebras

DOI10.1017/S1474748019000112MaRDI QIDQ5147671zbMATH OpenOpenAlexWikidataFDO

Authors Isaac Goldbring

Publication date 27 January 2021

Published in Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

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

zbMATH Keywords

operator algebrasmodel-theoretic forcinglocally universal objects

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) General theory of von Neumann algebras (46L10) Ultraproducts and related constructions (03C20) Model-theoretic forcing (03C25) Applications of model theory (03C98)

Abstract: We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite II${}_1$ factor is an enforceable II${}_1$ factor if and only if the Connes Embedding Problem has a positive solution. We also show that the set of continuous functions on the pseudoarc is an enforceable model of the theory of unital, projectionless, abelian cstar-algebras and use this to show that it is the prime model of its theory.

Recommendations

• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Computability and the Connes embedding problem
• Model theory of operator algebras. II: Model theory
• Continuous model theories for von Neumann algebras
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS

Cites work

• scientific article; zbMATH DE number 5802152 (Why is no real title available?)
• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• scientific article; zbMATH DE number 3444430 (Why is no real title available?)
• Absoluteness, truth, and quotients
• Bilinear forms on exact operator spaces and \(B(H) \otimes B(H)\)
• Existentially closed \(\mathrm{ II}_1\) factors
• Model theoretic forcing in analysis
• Model theory for metric structures
• Model theory of operator algebras. II: Model theory
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Model-theoretic aspects of the Gurarij operator system
• Omitting types and AF algebras
• Omitting types in logic of metric structures
• Omitting types in operator systems
• On Kirchberg's embedding problem
• Quasidiagonality of nuclear \(\mathrm{C}^\ast\)-algebras
• Quasitraces on exact \(C^*\)-algebras are traces
• Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras
• Robinson forcing and the quasidiagonality problem
• Strongly self-absorbing $C^{*}$-algebras
• The Chang-Łoś-Suszko theorem in a topological setting
• The pseudo-arc
• The pseudoarc is a co-existentially closed continuum
• The theory of tracial von Neumann algebras does not have a model companion
• Topometric spaces and perturbations of metric structures
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space

Cited in

(13)

• Uniformly super McDuff \(\mathrm{II}_1\) factors
• Optimal transport for types and convex analysis for definable predicates in tracial \(\mathrm{W}^\ast \)-algebras
• Metric groups, unitary representations and continuous logic
• Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
• The Connes embedding problem: a guided tour
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• Model-theoretic properties of dynamics on the Cantor set
• Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
• On Popa's factorial commutant embedding problem
• Covering entropy for types in tracial W^*-algebras
• Duality for optimal couplings in free probability
• Model theory and ultrapower embedding problems in operator algebras

This page was built for publication: Enforceable operator algebras

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