@misc{indiciaee1305ee40cad, title = {Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras}, author = {Ilijas Farah and David Jekel and Jennifer Pi}, year = {2025}, doi = {10.1017/jsl.2025.10100}, url = {https://arxiv.org/abs/2310.06197}, note = {Source identifier: 2310.06197} }