序数上的图灵计算
逻辑
2007-05-23 v1
摘要
我们通过将长度为 的带上的标准图灵可计算性推广到任意序数长度的带上的计算，定义了序数可计算性的概念。我们证明：一个序数集可由有限个序数参数序数计算当且仅当它是哥德尔可构造宇宙 L 中的一个元素。这一刻画可用于在 L 中证明广义连续统假设。
引用
@article{arxiv.math/0502264,
title = {Turing Computations on Ordinals},
author = {Peter Koepke},
journal= {arXiv preprint arXiv:math/0502264},
year = {2007}
}
备注
Submitted to the Bulletin of Symbolic Logic, 20 pages