Canadian Journal of Mathematics · 1972 · 72 citations · 4 references
Natural SciencesComputer ScienceMathematicsDiscrete MathematicsSet TheoryTheory Of ComputationAxiomatic Set TheoryComputability TheoryRecursion TheoryMany-one ReducibilityMany-one ReductionsRecursionRecursive SetsRecursively Enumerable SetsReducibilityTuring DegreesTuring Reducibility
One of the most fundamental and characteristic features of recursion theory is the fact that the recursive sets are not uniformly recursive. In this paper we consider the degrees a such that the recursive sets are uniformly of degree ≦ a and characterize them by the condition a’ ≦ 0" . A number of related results will be proved, and one of these will be combined with a theorem of Yates to show that there is no r.e. degree a < 0’ such that the r.e. sets of degree ≦a are uniformly of degree ≦a . This result and a generalization will be used to study the relationship between Turing and many-one reducibility on the r.e. sets.
4
Theory of Recursive Functions and Effective Computability
D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text
T. G. McLaughlin, Gerald E. Sacks · American Mathematical Monthly · 1965 · 217 citations
R. L. Goodstein · Journal of the London Mathematical Society · 1964 · 136 citations