Quantifier elimination in II₁ factors

2023/04/22 by Ilijas Farah, Farah, Ilijas · 1 citation
Mathematics · Physics and Astronomy · #Advanced Topics in Algebra #Advanced Operator Algebra Research #Quantum Mechanics and Applications

paper · pdf · doi:10.48550/arxiv.2304.11371

Abstract

No type II₁ tracial von Neumann algebra has theory that admits quantifier elimination.

Cited by

• Elementary embeddings into ultrapower II₁ factors without a UCP lift

Related

• Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras
• The theory of tracial von Neumann algebras does not have a model companion
• On elimination of quantifiers in some non-classical mathematical theories
• Quantifier elimination in C*-algebras
• Applying Linear Quantifier Elimination