关于迭代一致性与无穷证明的注记
逻辑
2018-07-17 v2
摘要
Schmerl 与 Beklemishev 关于迭代反射的工作实现了两个目标：它引入了重要的 -序数概念，借助一致性的超穷迭代刻画了理论的 -定理；并且它提供了一种创新的演算方法，用于计算一系列理论的 -序数。本注记表明这些成就是相互独立的：我们通过无穷证明，以直接且透明的方式从 Schütte 风格的序数分析读出 -序数。
引用
@article{arxiv.1709.01540,
title = {A Note on Iterated Consistency and Infinite Proofs},
author = {Anton Freund},
journal= {arXiv preprint arXiv:1709.01540},
year = {2018}
}
备注
This is a pre-print (before peer-review) of an article published in the Archive for Mathematical Logic. The final authenticated version is available online at https://doi.org/10.1007/s00153-018-0639-y. It can also be accessed via https://rdcu.be/2YJI (view only). Note that the journal version contains some improvements over the present pre-print