Ordinal machines and admissible recursion theory

Recursively enumerable sets and degrees

Robert I. Soare · Bulletin of the American Mathematical Society · 1978 · 1.6K citations · Full text

Natural Sciences, Computer Science, Mathematics +15

The fine structure of the constructible hierarchy

Ronald Björn Jensen · Annals of Mathematical Logic · 1972 · 681 citations

Computing, Computer Science, Mathematics +10

Turing Computations On Ordinals

Peter Koepke · Bulletin of Symbolic Logic · 2005 · 98 citations

Natural Sciences, Computer Science, Mathematics +12

The α-finite injury method

Gerald E. Sacks, Stephen G. Simpson · Annals of Mathematical Logic · 1972 · 78 citations

Engineering, Computational Engineering, Mechanical Engineering +7

Metarecursive sets

G. Kreisel, Gerald E. Sacks · Journal of Symbolic Logic · 1965 · 44 citations

Natural Sciences, Mathematics, Logic +5