The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion
Keyword(s):
AbstractIn 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 II1 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 II1 factors.
1999 ◽
Vol 6
(2)
◽
pp. 229-236
◽
2019 ◽