Some Recent Developments in Higher Recursion Theory
Friedman, Sy D.
J. Symbolic Logic, Tome 48 (1983) no. 1, p. 629-642 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 1983-09-14
Classification:  
@article{1183741322,
     author = {Friedman, Sy D.},
     title = {Some Recent Developments in Higher Recursion Theory},
     journal = {J. Symbolic Logic},
     volume = {48},
     number = {1},
     year = {1983},
     pages = { 629-642},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741322}
}

Friedman, Sy D. Some Recent Developments in Higher Recursion Theory. J. Symbolic Logic, Tome 48 (1983) no. 1, pp.  629-642. http://gdmltest.u-ga.fr/item/1183741322/