Constructibility
Seiten
2017
Cambridge University Press (Verlag)
978-1-107-16835-0 (ISBN)
Cambridge University Press (Verlag)
978-1-107-16835-0 (ISBN)
This comprehensive account of the theory of constructible sets at an advanced level provides complete coverage of constructibility theory, rather than its many and diverse applications. However, applications are used to motivate and illustrate the theory.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in the Perspectives in Logic series, Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the Lα-hierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the Jα-hierarchy and the Jensen 'fine-structure theory'.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in the Perspectives in Logic series, Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the Lα-hierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the Jα-hierarchy and the Jensen 'fine-structure theory'.
Keith J. Devlin works in the Department of Mathematics at the University of Lancaster.
Part I. Elementary Theory: 1. Preliminaries; 2. The constructible universe; 3. ω1-Trees in L; 4. κ+-Trees in L and the fine structure theory; 5. The story of 0#; Part II. Advanced theory: 6. The fine structure theory; 7. Trees and large cardinals in L; 8. Morasses and the cardinal transfer theorem; 9. Silver machines; Remarks and historical notes; Bibliography; Glossary of notation; Index.
Erscheinungsdatum | 02.04.2017 |
---|---|
Reihe/Serie | Perspectives in Logic |
Zusatzinfo | 1 Halftones, black and white; 9 Line drawings, black and white |
Verlagsort | Cambridge |
Sprache | englisch |
Maße | 156 x 234 mm |
Gewicht | 850 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
ISBN-10 | 1-107-16835-X / 110716835X |
ISBN-13 | 978-1-107-16835-0 / 9781107168350 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Hardcover (2023)
Hanser, Carl (Verlag)
CHF 41,95