Quantifier elimination in II$_1$ factors
Abstract
No type II$_1$ tracial von Neumann algebra has theory that admits quantifier elimination.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2023
- DOI:
- arXiv:
- arXiv:2304.11371
- Bibcode:
- 2023arXiv230411371F
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Operator Algebras
- E-Print:
- A bad typo in (2) of Lemma 2.1 fixed. The statement of (3) in Lemma 2.1 expanded to a more illuminating one. To appear in the special issue of Muenster J. Math. in memory of Eberhard Kirchberg