Abstract
A result of Soare and Stob asserts that for any non-recursive r.e. setC, there exists a r.e.[C] setA such thatA⊕C is not of r.e. degree. A setY is called [of]m-REA (m-REA[C] [degree] iff it is [Turing equivalent to] the result of applyingm-many iterated ‘hops’ to the empty set (toC), where a hop is any function of the formX→X ⊕W Xe . The cited result is the special casem=0,n=1 of our Theorem. Form=0,1, and any (m+1)-REA setC, ifC is not ofm-REA degree, then for alln there exists an-r.e.[C] setA such thatA ⊕C is not of (m+n)-REA degree. We conjecture that this holds also form≥2.
Similar content being viewed by others
References
[ChHi] Cholak, P.A., Hinman, P.G.: Iterated Relative Recursive Enumerability (abstract). Abstr. Am. Math. Soc.881, 347 (1993)
[JoSh1] Jockusch, C.G., Shore, R.A.: Pseudo-jump operators. I: the r.e. case. Trans Amer. Math. Soc.275, 599–609 (1983)
[JoSh2] Jockusch, C.G., Shore, R.A.: Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers. Jour. Sympb. Log.49, 1205–1236 (1984)
[SoSt] Soare, R.I., Stob, M.: Relative Recursive Enumerability. In: Stern, J. (ed.) Proceedings of the Herbrand Symposium: Logic Colloqium '81, pp. 299–324. Amsterdam: North-Holland 1982
[So] Soare, R.I.: Recursively enumerable sets and degrees, xviii+437 pp. Berlin Heidelberg: Springer 1987
Author information
Authors and Affiliations
Additional information
German speakers should not be unduely influenced by the acronym for this title
Partially supported by an NSF Postdoctoral Fellowship and the US Army Research Office through the Mathematical Sciences Institute of Cornell University
Rights and permissions
About this article
Cite this article
Cholak, P.A., Hinman, P.G. Iterated relative recursive enumerability. Arch Math Logic 33, 321–346 (1994). https://doi.org/10.1007/BF01278463
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01278463