摘要：将标准图灵可计算性在长度为ω的纸带上的计算推广到任意序数长度的纸带，我们定义了序数可计算性的概念。我们证明，如果一组序数是从有限个序数参数可计算的，那么它就是哥德尔的可构造宇宙L中的一个元素，反之亦然。这一表征可以用来证明L中的广义连续统假设。
作者：Peter Koepke
论文ID：math/0502264
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中