Peter G. Hinman

Recursion-Theoretic Hierarchies

• Gebundenes Buch

Produktbeschreibung

The theory set out in this book results from the meeting of descriptive set theory and recursion theory.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 494
• Erscheinungstermin: 16. Februar 2017
• Englisch
• Abmessung: 240mm x 161mm x 33mm
• Gewicht: 992g
• ISBN-13: 9781107168244
• ISBN-10: 1107168244
• Artikelnr.: 47720618

Autorenporträt

Peter G. Hinman works in the Department of Mathematics at the University of Michigan, Ann Arbor.

Inhaltsangabe

Introduction
Part I. Basic Notations of Definability: 1. Groundwork
2. Ordinary recursion theory
3. Hierarchies and definability
Part II. The Analytical and Projective Hierarchies: 4. The first level
5. ¿^1_2 and beyond
Part III. Generalized Recursion Theories: 6. Recursion in a type-2 functional
7. Recursion in a type-3 functional
8. Recursion on ordinals
Epilogue
References
Global notational conventions
Special notations
Index.