Generalized Recursion Theory
Proceedings of the 1972 Oslo Symposium
Published on 14. May 2014
465 pages
978-0-08-095489-9 (ISBN)
Description
Generalized Recursion Theory
More details
Series
Language
English
Place of publication
Burlington
Netherlands
ISBN-13
978-0-08-095489-9 (9780080954899)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Lev D. Beklemishev
Provability, Computability and Reflection: Volume 79
Book
04/2000
Elsevier
€210.46
Article exhausted; check different version
Persons
Content
- Front Cover
- Generalized Recursion Thepry
- Copyright Page
- CONTENTS
- Preface
- Part I: RECURSION IN OBJECTS OF FINITE TYPE
- Chapter 1. Recursion in the superjump
- Chapter 2. The superjump and the first recursively Mahlo ordinal
- Chapter 3. Structural characterizations of classes of relations
- Chapter 4. The 1-section of a type n object
- Part II: SETS AND ORDINALS
- Chapter 5. Admissible sets over models of set theory
- Chapter 6. An introduction to the fine structure of the constructible hierarchy
- Chapter 7. Degree theory on admissible ordinals
- Chapter 8. More on set existence
- Part III: INDUCTIVE DEFINABILITY
- Chapter 9. Inductive definitions and their closure ordinals
- Chapter 10. Ordinal recursion and inductive definitions
- Chapter 11. Inductive defiitions
- Chapter 12. Inductive definitions and reflecting properties of admissible ordinals
- Part IV: AXIOMATIC APPROACHES AND GENERAL DISCUSSION
- Chapter 13. On axiomatizing recursion theory
- Chapter 14. Dissecting abstract recursion
- Chapter 15. Model theory for dissecting recursion theory
- Chapter 16. Axiomatic theory of enumeration
- Chapter 17. Post's problem for admissible sets
- Part V: A BIBLIOGRAPHY OF GENERALIZED RECURSION THEORY
- Chapter 18. Some papers in generalized recursion theory
- Chapter 19. An uncritical bibliography
- Index
