Recursion-Theoretic Hierarchies
Recursion-Theoretic Hierarchies
Cambridge University Press
03/2017
492
Dura
Inglês
9781107168244
930
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.