Lerman, M. Initial segments of the degrees of unsolvability. (English) Zbl 0193.31004 Ann. Math. (2) 93, 365-389 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 27 Documents MSC: 03D30 Other degrees and reducibilities in computability and recursion theory 03D10 Turing machines and related notions Keywords:recursion theory, constructive mathematics × Cite Format Result Cite Review PDF Full Text: DOI