Journal of Symbolic Logic

Some Recent Developments in Higher Recursion Theory

Sy D. Friedman

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


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.

Article information

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.

Export citation