Stability of recursive structures in arithmetical degrees

Theory of Recursive Functions and Effective Computability.

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

Computing, Computer Science, Mathematics +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

Autostability and computable families of constructivizations

Algebra and Logic · 1975 · 85 citations

Computing, Computer Science, Mathematics +12

Recursive categoricity and recursive stability

John N. Crossley, Alfred B. Manaster, Michael Moses · Annals of Pure and Applied Logic · 1986 · 13 citations

Natural Sciences, Computer Science, Mathematics +11