A proof-theoretic metatheorem for tracial von Neumann algebras

Liviu Paunescu, Andrei Sipos. A proof-theoretic metatheorem for tracial von Neumann algebras. Math. Log. Q., 69(1):63-76, February 2023. [doi]

Abstract

Abstract is missing.