The Covering Property Axiom, CPA
A Combinatorial Core of the Iterated Perfect Set Model
Seiten
2004
Cambridge University Press (Verlag)
978-0-521-83920-4 (ISBN)
Cambridge University Press (Verlag)
978-0-521-83920-4 (ISBN)
This book explores a new axiom of set theory, CPA, the Covering Property Axiom. Replacing iterated forcing arguments with deductions from CPA simplifies proofs, provides deeper insight, and leads to new results. Researchers who use set theory in their work will find much of interest in this book.
Here the authors formulate and explore a new axiom of set theory, CPA, the Covering Property Axiom. CPA is consistent with the usual ZFC axioms, indeed it is true in the iterated Sacks model and actually captures the combinatorial core of this model. A plethora of results known to be true in the Sacks model easily follow from CPA. Replacing iterated forcing arguments with deductions from CPA simplifies proofs, provides deeper insight, and leads to new results. One may say that CPA is similar in nature to Martin's axiom, as both capture the essence of the models of ZFC in which they hold. The exposition is self contained and there are natural applications to real analysis and topology. Researchers who use set theory in their work will find much of interest in this book.
Here the authors formulate and explore a new axiom of set theory, CPA, the Covering Property Axiom. CPA is consistent with the usual ZFC axioms, indeed it is true in the iterated Sacks model and actually captures the combinatorial core of this model. A plethora of results known to be true in the Sacks model easily follow from CPA. Replacing iterated forcing arguments with deductions from CPA simplifies proofs, provides deeper insight, and leads to new results. One may say that CPA is similar in nature to Martin's axiom, as both capture the essence of the models of ZFC in which they hold. The exposition is self contained and there are natural applications to real analysis and topology. Researchers who use set theory in their work will find much of interest in this book.
Krzysztof Ciesielski is Professor of Mathematics at West Virginia University. Janusz Pawlikowksi is Professor of Mathematics at Wroclaw University.
1. Axiom CPAcube and its consequences: properties (A)-(E); 2. Games and axiom CPAgame/cube; 3. Prisms and axioms CPAgame/prism and CPAprism; 4. CPAprism and coverings with smooth functions; 5. Applications of CPAgame/prism; 6. CPA and properties (F*) and (G); 7. CPA in the Sacks model.
Erscheint lt. Verlag | 23.8.2004 |
---|---|
Reihe/Serie | Cambridge Tracts in Mathematics |
Zusatzinfo | 3 Line drawings, unspecified |
Verlagsort | Cambridge |
Sprache | englisch |
Maße | 152 x 229 mm |
Gewicht | 460 g |
Themenwelt | Mathematik / Informatik ► Mathematik |
ISBN-10 | 0-521-83920-3 / 0521839203 |
ISBN-13 | 978-0-521-83920-4 / 9780521839204 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Von Logik und Mengenlehre bis Zahlen, Algebra, Graphen und …
Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
CHF 104,90
Analysis und Lineare Algebra mit Querverbindungen
Buch | Hardcover (2022)
Springer Spektrum (Verlag)
CHF 89,95
Versteckte Beiträge, die die Welt verändert haben
Buch | Hardcover (2023)
Springer (Verlag)
CHF 41,95