Generalized Recursion Theory II
Proceedings of the 1977 Oslo Symposium
Published on 14. May 2014
427 pages
978-0-08-095502-5 (ISBN)
Description
Generalized Recursion Theory II
More details
Series
Language
English
Place of publication
Burlington
Netherlands
ISBN-13
978-0-08-095502-5 (9780080955025)
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 94
Book
04/2000
Elsevier
€210.46
Article exhausted; check different version
Persons
Content
- Front Cover
- Generalized Recursion Theory II
- Copyright Page
- Table of Contents
- Preface
- Chapter 1. Monotone quantifiers and admissible sets
- Chapter 2. The continuous functionals and 2E
- Chapter 3. Recursion theory and set theory: A marriage of convenience
- Chapter 4. On the foundation of general recursion theory: Computations versus inductive definability
- Chapter 5. An introduction to ß-recursion theory
- Chapter 6. Negative solutions to Post's problem, I
- Chapter 7. The intrinsic recursion theory on the countable or continuous functionals
- Chapter 8. Spector second order classes and reflection
- Chapter 9. Recursive functionals and quantifiers of finite types revisited I
- Chapter 10. Lattices of a-recursively enumerable sets
- Chapter 11. High a-recursively enumerable degrees
- Chapter 12. Extendability of ZF models in the von Neuman hierarchy to models of KM theory of classes
- Chapter 13. On the role of the successor function in recursion theory
- Chapter 14. Set recursion
- Chapter 15. A non-adequate admissible set with a good degree-structure
- Chapter 16. On the EA-sentences of a-recursion theory
- Chapter 17. Short course on admissible recursion theory
- Chapter 18. Weakly inadmissible recursion theory
- Chapter 19. The 1-section of a non-normal type-2 objects
