Recursion in the Superjump

Publisher Website

1 January 1974

book chapter
Published by Elsevier

p. 3-41
https://doi.org/10.1016/s0049-237x(08)70579-2

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

Hierarchies of effective descriptive set theory
Transactions of the American Mathematical Society, 1969
A hierarchy based on a type two object
Transactions of the American Mathematical Society, 1968
Hyperanalytic predicates
Transactions of the American Mathematical Society, 1967