Proceedings of the American Mathematical Society · 1998 · 98 citations · 5 references
Natural SciencesComputer ScienceMathematicsNumber TheorySet TheoryTheory Of ComputationRecursion TheoryStructural ComplexityCountable SetElementary ExtensionsEnumerabilityRecursion TheoremRecursive SetsRecursively Enumerable SetsTuring Degrees
It is proven that there is a family of sets of natural numbers which has enumerations in every Turing degree except for the recursive degree. This implies that there is a countable structure which has representations in all but the recursive degree. Moreover, it is shown that there is such a structure which has a recursively represented elementary extension.
5
Recursively enumerable sets and degrees
Robert I. Soare · Bulletin of the American Mathematical Society · 1978 · 1.6K citations · Full text
Degrees coded in jumps of orderings
Julia F. Knight · Journal of Symbolic Logic · 1986 · 151 citations
Linda Jean Richter · Journal of Symbolic Logic · 1981 · 138 citations