The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

Cached

Download Links

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

Documents Related by Co-Citation

102 Higher Recursion Theory – G E Sacks - 1990
9 The α-finite injury method – G E Sacks, S Simpson
114 The fine structure of the constructible hierarchy – R B Jensen - 1972
88 On notation for ordinal numbers – Stephen C Kleene - 1938
62 Degrees of Unsolvability – G E Sacks - 1966
32 On degrees of recursive unsolvability – C Spector - 1956
19 Definability in the Turing Degrees – Theodore A. Slaman, W. Hugh Woodin - 1986
34 Parameter Definability in the Recursively Enumerable Degrees – Andre Nies
32 Foundations of Recursion Theory – R Platek - 1966
16 Undecidable fragments of elementary theories – A Nies - 1996