摘要：在ZFC集合论模型中，我们提出了一个自然的理论SO，它公理化了一类序数集合。这两个理论具有相等的逻辑强度。在SO中的构造理论对应于对序数的自然递归理论。
作者：Peter Koepke and Martin Koerwien
论文ID：math/0502265
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中