Quantifier elimination in II$_1$ factors
Logic
2023-08-04 v5 Operator Algebras
Abstract
No type II tracial von Neumann algebra has theory that admits quantifier elimination.
Cite
@article{arxiv.2304.11371,
title = {Quantifier elimination in II$_1$ factors},
author = {Ilijas Farah},
journal= {arXiv preprint arXiv:2304.11371},
year = {2023}
}
Comments
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