Generalized Recursion Theory (eBook)
455 Seiten
Elsevier Science (Verlag)
9780080954899 (ISBN)
Generalized Recursion Theory
Front Cover 1
Generalized Recursion Thepry 4
Copyright Page 5
CONTENTS 8
Preface 6
Part I: RECURSION IN OBJECTS OF FINITE TYPE 10
Chapter 1. Recursion in the superjump 12
Chapter 2. The superjump and the first recursively Mahlo ordinal 52
Chapter 3. Structural characterizations of classes of relations 62
Chapter 4. The 1-section of a type n object 90
Part II: SETS AND ORDINALS 104
Chapter 5. Admissible sets over models of set theory 106
Chapter 6. An introduction to the fine structure of the constructible hierarchy 132
Chapter 7. Degree theory on admissible ordinals 174
Chapter 8. More on set existence 204
Part III: INDUCTIVE DEFINABILITY 214
Chapter 9. Inductive definitions and their closure ordinals 216
Chapter 10. Ordinal recursion and inductive definitions 230
Chapter 11. Inductive defiitions 274
Chapter 12. Inductive definitions and reflecting properties of admissible ordinals 310
Part IV: AXIOMATIC APPROACHES AND GENERAL DISCUSSION 392
Chapter 13. On axiomatizing recursion theory 394
Chapter 14. Dissecting abstract recursion 414
Chapter 15. Model theory for dissecting recursion theory 430
Chapter 16. Axiomatic theory of enumeration 438
Chapter 17. Post's problem for admissible sets 446
Part V: A BIBLIOGRAPHY OF GENERALIZED RECURSION THEORY 452
Chapter 18. Some papers in generalized recursion theory 454
Chapter 19. An uncritical bibliography 455
Index 462
| Erscheint lt. Verlag | 1.4.2000 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| Technik | |
| ISBN-13 | 9780080954899 / 9780080954899 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
PDF (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
