Ilijas Farah

QUANTUM EXPANDERS AND QUANTIFIER REDUCTION FOR TRACIAL VONNEUMANN ALGEBRAS

2025 · Journal of Symbolic Logic

Abstract We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neumann algebra script upper M $\mathcal {M}$ …