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.

Abstract

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

Source
J. Symbolic Logic, Volume 48, Issue 3 (1983), 629-642.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183741322

Mathematical Reviews number (MathSciNet)
MR716624

Zentralblatt MATH identifier
0549.03032

JSTOR
links.jstor.org

Citation

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


Export citation