迹 von Neumann 代数的一个证明论元定理
逻辑
2022-11-17 v2 算子代数
摘要
我们改编了 Farah、Hart 与 Sherman 提出的迹 von Neumann 代数的连续逻辑公理化，以证明该类结构的一个证明论元定理，其风格属于证明挖掘——一个旨在利用证明论工具提取普通数学证明中隐藏计算内容的研究纲领。
关键词
引用
@article{arxiv.2209.01797,
title = {A proof-theoretic metatheorem for tracial von Neumann algebras},
author = {Liviu Paunescu and Andrei Sipos},
journal= {arXiv preprint arXiv:2209.01797},
year = {2022}
}