无限时间图灵机
摘要：图灵机的操作可以自然地扩展到无穷序时间，我们研究在实数上的可计算性和可判定性的超任务理论。由此产生的可计算性理论引出了在实数上的计算概念，以及关于实数集和个别实数的可判定性和半可判定性的概念。例如，每个Pi^1\_1集都可以由这样的机器进行判定，而半可判定集构成了Delta^1\_2集的一部分。我们的预言概念引出了相对于实数和实数集的可计算性概念，以及一个由两个自然的跳变算子层次化的丰富度结构。
作者：Joel David Hamkins and Andy Lewis
论文ID：math/9808093
分类：Logic
分类简称：math.LO
提交时间：2007-05-23