Wellfoundedness proof with the maximal distinguished set.
Wellfoundedness proof with the maximal distinguished set.
复制标题
最大可区分集的有据证明。
DOI：
10.1007/s00153-022-00840-8
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Toshiyasu Arai
中科院分区：
文献类型：
--
作者：
横山啓太;稲葉 寿;Toshiyasu Arai
在 Arai（已提交的单个稳定序数的序数分析）中，表明序数是集合论的证明论序数的上限。在本文中，我们证明二阶算术证明了每个 N 的有根据性。这很容易解释。
In Arai (An ordinal analysis of a single stable ordinal, submitted) it is shown that an ordinalis an upper bound for the proof-theoretic ordinal of a set theory. In this paper we show that a second order arithmeticproves the wellfoundedness up tofor eachN. It is easy to interpretin.