摘要：是否存在一个非递归的序数，即所谓的Church-Kleene序数$omega\_1^{CK}$的问题被提出。
作者：Hitoshi Kitada
论文ID：math/0307090
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中