论文标题
奇学理论的元度元素von Neumann代数
A proof-theoretic metatheorem for tracial von Neumann algebras
论文作者
论文摘要
我们适应了由于Farah，Hart和Sherman引起的奇特von Neumann代数的连续逻辑公理化，以证明以证明挖掘方式证明这类结构的Metatheorem，旨在获得一项研究计划，旨在获得使用Pracit Practepon Practephity工具的普通数学证明的隐性计算内容。
We 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 program that aims to obtain the hidden computational content of ordinary mathematical proofs using tools from proof theory.
