Concepedia

Countable retracing functions and Π<sub>2</sub><sup>0</sup>predicates

Carl G. Jockusch, T. G. McLaughlin

Pacific Journal of Mathematics · 1969 · 51 citations · 35 references

DOI

Concepts

References

35

Theory of Recursive Functions and Effective Computability.

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

, , +14

Semirecursive sets and positive reducibility

Carl G. Jockusch · Transactions of the American Mathematical Society · 1968 · 251 citations · Full text

, , +4

Hierarchies of number-theoretic predicates

S. C. Kleene · Bulletin of the American Mathematical Society · 1955 · 184 citations · Full text

, , +12

DEGREES OF UNSOLVABILITY

R. L. Goodstein · Journal of the London Mathematical Society · 1964 · 136 citations

, , +1

The Degrees of Hyperimmune Sets

Webb Miller, Donald A. Martin · Mathematical logic quarterly · 1968 · 91 citations

, , +1