Some aspects of generalized computability

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

Recursive functionals and quantifiers of finite types. I

S. C. Kleene · Transactions of the American Mathematical Society · 1959 · 319 citations · Full text

Humanities, Computer Science, Mathematics +9

Generalized computations and second degree arithmetic

N. V. Belyakin · Algebra and Logic · 1970 · 12 citations

Natural Sciences, Computer Science, Mathematics +12

Constructively accessible ordinal numbers

Wayne Richter · Journal of Symbolic Logic · 1968 · 10 citations

Natural Sciences, Mathematics, Number Theory +11

Generalized computations and third-degree arithmetic

N. V. Belyakin · Algebra and Logic · 1974 · 10 citations

Natural Sciences, Computer Science, Mathematics +9