×

Post问题的另一种无优先级解决方案。 (英语) Zbl 0615.03033号

计算机科学数学基础。第十二交响曲。,布拉迪斯拉发/捷克。1986年,Lect。注释计算。科学。233, 493-500 (1986).
[关于整个系列,请参见Zbl 0596.00021号.]
作者对C.Jockusch提出的下列问题给出了否定的回答:每个非空递归有界类是否都包含某种程度的成员(a<0'\),使得唯一的r.e.degree(leq-a\)为0?Peano算法是否有一个完整的扩展T,使得在T中定义的所有非递归集在\(\emptyset’\)中都是递归的,而不是r.e。?所使用的方法是无优先级的。它可以用于建造各种钢筋混凝土机组。特别是,对于Post的问题,有一个无优先级的解决方案。
审核人:C.冷静

MSC公司:

03D45号 计算理论,有效呈现结构