Journal of Symbolic Logic

Kleene Index Sets and Functional $m$-Degrees

Jeanleah Mohrherr

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


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.

Article information

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.

Export citation