Recursion-Theoretic Hierarchies

ISBN-13: 9781107168244 / Angielski / Twarda / 2017 / 492 str.

Peter G. Hinman

Opis

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

Spis treści

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.