序数集理论
逻辑
2007-05-23 v1
摘要
我们提出一个自然的理论 SO，用以公理化 ZFC 集合论模型中序数集的类。两种理论具有相等的逻辑力。SO 中的可构造性理论对应于序数上的一个自然递归论。
引用
@article{arxiv.math/0502265,
title = {The Theory of Sets of Ordinals},
author = {Peter Koepke and Martin Koerwien},
journal= {arXiv preprint arXiv:math/0502265},
year = {2007}
}
备注
17 pages