Inductive definability: Measure and category

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

Recursive well-orderings

Clifford Spector · Journal of Symbolic Logic · 1955 · 212 citations

Natural Sciences, Computer Science, Mathematics +16

Arithmetical predicates and function quantifiers

S. C. Kleene · Transactions of the American Mathematical Society · 1955 · 166 citations · Full text

Humanities, Mathematics, Logic +5

Non-Existence of Everywhere Proper Conditional Distributions

David Blackwell, C. Ryll–Nardzewski · The Annals of Mathematical Statistics · 1963 · 100 citations · Full text

Natural Sciences, Constitutional Law, Probability Theory +9