Quantifier elimination in II factors
arXiv:2304.11371
Abstract
No type II tracial von Neumann algebra has theory that admits quantifier elimination.
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