Recursion Theoretic Hierarchies
Download Recursion Theoretic Hierarchies PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Recursion Theoretic Hierarchies book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Recursion-Theoretic Hierarchies
Author: Peter G. Hinman
language: en
Publisher: Cambridge University Press
Release Date: 2017-03-02
The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
Recursion-Theoretic Hierarchies
At a recent meeting of logicians, one speaker complained - mainly, but perhaps not wholly, in jest - that logic is tightly controlled by a small group of people (the cabal) who exercise careful control over the release of new ideas to the general public (especially students) and indeed suppress some material com pletely. The situation is surely not so grim as this, but any potential reader of this book must have felt at some time that there is at least a minor conspiracy to keep new ideas inaccessible until the "insiders" have worked them over thoroughly. In particular he might well feel this way about the whole subject of Generalized Recursion Theory, which developed in the second half of the 1960s. The basic definitions and results on recursion involving functionals of higher type appeared in the monumental but extremely difficult paper Kleene [1959] and [1963]. Gandy [1967] gave another presentation ab initio, but the planned part II of this paper, as well as several other major advances in the subject, never appeared in print. For the theory of recursion on ordinals, the situation was even worse. Much of the basic material had appeared only in the abstracts Kripke [1964, 1964a], and although certain parts of the theory had been worked out in papers such as Kreisel-Sacks [1965] and Sacks [1967], there was no reasonably complete account of the basic facts of the subject in print.
Higher Recursion Theory
Author: Gerald E. Sacks
language: en
Publisher: Cambridge University Press
Release Date: 2017-03-02
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.