Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 48, Issue 3 (1983), 829-840.
Kleene Index Sets and Functional $m$-Degrees
A many-one degree is functional if it contains the index set of some class of partial recursive functions but does not contain an index set of a class of r.e. sets. We give a natural embedding of the r.e. m-degrees into the functional degrees of $0'$. There are many functional degrees in $0'$ in the sense that every partial-order can be embedded. By generalizing, we show there are many functional degrees in every complete Turning degree. There is a natural tie between the studies of index sets and partial-many-one reducibility. Every partial-many-one degree contains one or two index sets.
J. Symbolic Logic, Volume 48, Issue 3 (1983), 829-840.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Mohrherr, Jeanleah. Kleene Index Sets and Functional $m$-Degrees. J. Symbolic Logic 48 (1983), no. 3, 829--840. https://projecteuclid.org/euclid.jsl/1183741343