TY - RPRT TI - Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras AU - Ilijas Farah AU - David Jekel AU - Jennifer Pi PY - 2025 DO - 10.1017/jsl.2025.10100 UR - https://arxiv.org/abs/2310.06197 ID - 2310.06197 ER -