Some Theorems on Classes of Recursively Enumerable Sets

Computability and Unsolvability.

Calvin C. Elgot, Martin Davis · Mathematical Tables and Other Aids to Computation · 1959 · 1K citations

Recursively enumerable sets of positive integers and their decision problems

Emil L. Post · Bulletin of the American Mathematical Society · 1944 · 890 citations · Full text

Humanities, Computer Science, Mathematics +13

The Upper Semi-Lattice of Degrees of Recursive Unsolvability

S. C. Kleene, Emil L. Post · Annals of Mathematics · 1954 · 276 citations

Computing, Computer Science, Mathematics +13

Classes of Recursively Enumerable Sets and Their Decision Problems

H. G. Rice · Transactions of the American Mathematical Society · 1953 · 134 citations · Full text

Natural Sciences, Computer Science, Mathematics +14

Effective operations on partial recursive functions

John Myhill, J. C. Shepherdson · Mathematical logic quarterly · 1955 · 92 citations

Computing, Computer Science, Mathematics +12