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

DOI10.2178/JSL.7803170zbMATH Open1316.03019arXiv1207.0169OpenAlexW2157412138MaRDI QIDQ2869913FDOQ2869913

Authors: Isaac Goldbring, Bradd Hart, Thomas Sinclair 

Publication date: 7 January 2014

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

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.

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Models of other mathematical theories (03C65)

Cites Work

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

Cited In (18)

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

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)