The Superjump and the First Recursively Mahlo Ordinal

Publisher Website

1 January 1974

book chapter
Published by Elsevier

p. 43-52
https://doi.org/10.1016/s0049-237x(08)70580-9

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

Selection functions for recursive functionals.
Notre Dame Journal of Formal Logic, 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