Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 48, Issue 3 (1983), 629-642.
Some Recent Developments in Higher Recursion Theory
In recent years higher recursion theory has experienced a deep interaction with other areas of logic, particularly set theory (fine structure, forcing, and combinatorics) and infinitary model theory. In this paper we wish to illustrate this interaction by surveying the progress that has been made in two areas: the global theory of the $\kappa$-degrees and the study of closure ordinals.
J. Symbolic Logic, Volume 48, Issue 3 (1983), 629-642.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Friedman, Sy D. Some Recent Developments in Higher Recursion Theory. J. Symbolic Logic 48 (1983), no. 3, 629--642. https://projecteuclid.org/euclid.jsl/1183741322