Recursion-Theoretic Hierarchies

Informationen zum Autor Peter G. Hinman works in the Department of Mathematics at the University of Michigan, Ann Arbor. Klappentext The theory set out in this book results from the meeting of descriptive set theory and recursion theory. Zusammenfassung The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived! making the common themes clear. Inhaltsverzeichnis 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.

Product details

• Authors: Peter G. Hinman, Peter G. (University of Michigan Hinman
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 02.03.2017
• EAN: 9781107168244
• ISBN: 978-1-107-16824-4
• No. of pages: 492
• Series: Perspectives in Logic
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Basic principles