The theory of tracial von Neumann algebras does not have a model companion
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2012
- DOI:
- 10.48550/arXiv.1207.0169
- arXiv:
- arXiv:1207.0169
- Bibcode:
- 2012arXiv1207.0169G
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Operator Algebras
- E-Print:
- 6 pages