超任务中的Post问题既有正解也有负解
摘要：超级任务的逐跳0^jump与0之间是否存在超级任务程度的问题有肯定和否定的解决方案。在实数的背景下，0和0^jump之间不存在程度；但是在实数集的背景下，存在不可比较的半可决定的超级任务程度。这两个论证都采用了一种广义的超限损伤构造，可以正规地推广到预言机。
作者：Joel David Hamkins (CUNY) and Andrew Lewis (Virginia Commonwealth U)
论文ID：math/9808128
分类：Logic
分类简称：math.LO
提交时间：2007-05-23