Cooper, S. Barry The jump is definable in the structure of the degrees of unsolvability. (English) Zbl 0709.03035 Bull. Am. Math. Soc., New Ser. 23, No. 1, 151-158 (1990). Reviewer: J.S.Ullian MSC: 03D30 PDFBibTeX XMLCite \textit{S. B. Cooper}, Bull. Am. Math. Soc., New Ser. 23, No. 1, 151--158 (1990; Zbl 0709.03035) Full Text: DOI
Kleene, S. C. The theory of recursive functions, approaching its centennial. (English) Zbl 0486.03023 Bull. Am. Math. Soc., New Ser. 5, 43-61 (1981). MSC: 03D20 03D10 03-03 01A60 03A05 03-01 PDFBibTeX XMLCite \textit{S. C. Kleene}, Bull. Am. Math. Soc., New Ser. 5, 43--61 (1981; Zbl 0486.03023) Full Text: DOI
Harrington, Leo; Shore, Richard A. Definable degrees and automorphisms of D. (English) Zbl 0452.03033 Bull. Am. Math. Soc., New Ser. 4, 97-100 (1981). MSC: 03D30 03D55 PDFBibTeX XMLCite \textit{L. Harrington} and \textit{R. A. Shore}, Bull. Am. Math. Soc., New Ser. 4, 97--100 (1981; Zbl 0452.03033) Full Text: DOI