Recursively Enumerable Sets and Retracing Functions

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

TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)

R. Friedberg · Proceedings of the National Academy of Sciences · 1957 · 298 citations · Full text

Natural Sciences, Mathematics, Combinatorics +6

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

Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication

R. Friedberg · Journal of Symbolic Logic · 1958 · 244 citations

Natural Sciences, Computer Science, Mathematics +12

A theorem on hypersimple sets

J. C. E. Dekker · Proceedings of the American Mathematical Society · 1954 · 84 citations

Natural Sciences, Mathematics, Set Theory +2