关于迭代一致性和无穷证明的注记
A Note on Iterated Consistency and Infinite Proofs
摘要：
Schmerl和Beklemishev关于迭代反射的工作达到了两个目的：它引入了$Π^0_1$ -序数的重要概念，以一致性的超限迭代来表征理论的$Π^0_1$ -定理;它提供了一种创新的演算来计算一系列理论的$Π^0_1$ -序数。本说明表明，这些成果是独立的：我们读出了$Π^0_1$ -序数从舒特式序数分析通过无限的证明，在一个直接和透明的方式。
英文摘要：
Schmerl and Beklemishev's work on iterated reflection achieves two aims: It introduces the important notion of $Π^0_1$-ordinal, characterizing the $Π^0_1$-theorems of a theory in terms of transfinite iterations of consistency; and it provides an innovative calculus to compute the $Π^0_1$-ordinals for a range of theories. The present note demonstrates that these achievements are independent: We read off $Π^0_1$-ordinals from a Schütte-style ordinal analysis via infinite proofs, in a direct and transparent way.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
