The theory of tracial von Neumann algebras does not have a model companion

DOI10.2178/JSL.7803170MaRDI QIDQ2869913zbMATH OpenOpenAlexFDO

Authors Isaac Goldbring, Bradd Hart, Thomas Sinclair

Publication date 7 January 2014

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.0169, https://projecteuclid.org/euclid.jsl/1389032287

zbMATH Keywords

model companionmodel-complete theory\(\Pi\)-factorstracial von Neuman algebra

Mathematics Subject Classification ID

Models of other mathematical theories (03C65)

Abstract: In this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDuff II_1 factor does not have quantifier elimination. We also show how a positive solution to the Connes Embedding Problem implies that there can be no model-complete theory of II_1 factors.

Recommendations

• Model theory of operator algebras. II: Model theory
• Continuous model theories for von Neumann algebras
• Computability and the Connes embedding problem
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• On ultraproduct embeddings and amenability for tracial von Neumann algebras

Cites work

• A geometric introduction to forking and thorn-forking
• Amenability, tubularity, and embeddings into \(\mathcal{R}^{\omega}\)
• Amenable correspondences and approximation properties for von Neumann algebras
• Free entropy dimension in amalgamated free products
• Topological dynamical systems associated to \(\text{II}_{1}\)-factors

Cited in

(18)

• Uniformly super McDuff \(\mathrm{II}_1\) factors
• Optimal transport for types and convex analysis for definable predicates in tracial \(\mathrm{W}^\ast \)-algebras
• Oracle computability of conditional expectations onto subfactors
• Model-theoretic aspects of the Gurarij operator system
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
• Remarks on the diagonal embedding and strong 1-boundedness
• Computability and the Connes embedding problem
• The Connes embedding problem: a guided tour
• Existential closedness and the structure of bimodules of \(\mathrm{II}_1\) factors
• Existentially closed \(\mathrm{W}^*\)-probability spaces
• Enforceable operator algebras
• ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
• Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
• On Kirchberg's embedding problem
• On Popa's factorial commutant embedding problem
• A survey on the model theory of tracial von Neumann algebras
• Continuous model theories for von Neumann algebras
• Existentially closed \(\mathrm{ II}_1\) factors

This page was built for publication: The theory of tracial von Neumann algebras does not have a model companion

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