[FOM] ; Rogers generalized machines

Cenzer,Douglas A cenzer at ufl.edu
Wed Jun 3 12:45:14 EDT 2015

This operator is known as the "Superjump" and is equivalent to Kleene's E.
A proof that  Delta-1-1 equals recursive in the superjump is given in Theorem VI.1.8 of
Peter Hinman's book, "Recursion-Theoretic Hierarchies", 1978.
He cites Kleene (TAMS 1959) as the original source for this theorem.

Douglas Cenzer
Chair, Department of Mathematics
University of Florida
P.O. Box 118105
Gainesville, FL 32611-8105
cenzer at ufl.edu<mailto:cenzer at ufl.edu>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150603/fe45939a/attachment.html>

More information about the FOM mailing list