The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

View PDF

Download Links

by Noam Greenberg
Venue:Memoirs of the American Mathematical Society
Citations:2 - 1 self

Documents Related by Co-Citation

112 Higher Recursion Theory – Gerald Sacks - 1990
10 The α-finite injury method – G E Sacks, Stephen G Simpson - 1972
125 The fine structure of the constructible hierarchy – R Jensen - 1972
94 On the Notation of Ordinal Numbers – S Kleene - 1938
67 Degrees of Unsolvability – Gerald Sacks - 1963
38 On degrees of recursive unsolvability – Clifford Spector - 1956
36 Parameter Definability in the Recursively Enumerable Degrees – Andre Nies
33 Foundations of Recursion Theory – R A Platek - 1966
21 Definability in the Turing Degrees – Theodore A. Slaman, W. Hugh Woodin - 1986