[FOM] KP recursion theorem

[martdowd at aol.com]

I have found an application for the KP version of Rogers theorem 11.II (second recursion theorem).  The only reference I have been able to find for a KP recursion theorem is Barwise theorem V.2.3, which resembles more what is called the first recursion theorem in Rogers.  Does anyone know of a reference fot the KP version of the classical second recursion theorem?  I'ld like to cite it if there is one.

- Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160301/84f6b945/attachment.html>