TY  - RPRT
TI  - A proof-theoretic metatheorem for tracial von Neumann algebras
AU  - Liviu Paunescu
AU  - Andrei Sipos
PY  - 2022
UR  - https://arxiv.org/abs/2209.01797
ID  - 2209.01797
ER  -