Abstract
AbstractWe adapt a continuous logic axiomatization of tracial von Neumann algebras due to Farah, Hart and Sherman in order to prove a metatheorem for this class of structures in the style of proof mining, a research programme that aims to obtain the hidden computational content of ordinary mathematical proofs using tools from proof theory.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have