Sacks, Gerald E. The 1-section of a type n object. (English) Zbl 0287.02026 Generalized Recursion Theory, Proc. Sympos. Oslo 1972, 81-93 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 2 Documents MSC: 03D65 Higher-type and set recursion theory 03D55 Hierarchies of computability and definability PDFBibTeX XML