A proof-theoretic metatheorem for tracial von Neumann algebras. - Liviu Paunescu; Andrei Sipos (Math. Log. Q., 2023)