Simplified Independence Proofs (eBook)
216 Seiten
Elsevier Science (Verlag)
978-0-08-087343-5 (ISBN)
Simplified Independence Proofs
Front Cover 1
Simplified Independence Proofs: Boolean Valued Models of Set Theory 4
Copyright Page 5
Contents 10
Preface 6
Glossary of Symbols 13
Location of Theorems 14
Locations of Definations 16
Chapter 1. General Remarks 18
A. Background Materials 18
B. Assumptions 19
C. Summary of Results 19
D. A Paradigm for the Proofs 20
E. A Guide for the Casual Reader 24
Chapter 2. Boolean Algebra 29
A. Topological Spaces 29
B. Properties of Boolean Algebras 37
C. Automorphisms 44
D. The Countable Chain Condition 48
Chapter 3. The Basic Model 51
A. Axioms of the Restricted Predicate Calculus 51
B. Axioms of Equality and Extensionality 58
C. Methods for Defining Members of V 68
D. The Basic Set Theory Axioms 82
E. Ordinals and Cardinals in the Model 92
F. The Axiom of Choice 98
Chapter 4. The Independence of V = L 106
A. Preliminaries 106
B. Proof of GCH 107
C. Subsets of . 109
Chapter 5. Analogies with Forcing 116
A. Comparison of Specific Proofs 116
B. Replacing Boolean Algebra by Forcing in Proofs? 119
Chapter 6. The Independence of AxC 122
A. The Key Idea of the Proof 122
B. The Choice of G 123
C. Subsets of . 124
D. The Real Numbers Are Not Well-ordered 130
Chapter 7. The Independence of the Continuum Hypothesis 133
A. The Key Result 133
B. Additional Cardinality Results 136
Chapter 8. The Generalized GCH—The Bounded Case 144
A. Statement of Easton’s Theorem 144
B. Specification of the Boolean Algebra 148
C. Substitutes for the Cohen Combinatorial Lemma 149
D. Cardinality Relations 157
E. Proof of Easton’s Theorem 162
F. A Note on the Proof 172
Chapter 9. The Generalized GCH–The Unbounded Case 173
A. Preliminary Considerations 173
B. Specification of the Boolean Algebra 175
C. Definition of the Universe 182
D. Definition of the Boolean Value of a Statement 186
E. Proof of the Axioms of Set Theory, Except the Power Set Axiom 191
F. Cardinality Relations 199
G. The Axiom of the Power Set 199
H. Proof of Easton’s Theorem 218
Chapter 10. Resolution of Conceptual Difficulties 219
A. What Is Truth? 219
B. Appeal to Strong Axioms 225
Bibliography 231
Subject Index 232
Erscheint lt. Verlag | 29.8.2011 |
---|---|
Mitarbeit |
Herausgeber (Serie): J. Barkley Rosser |
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Mathematik ► Arithmetik / Zahlentheorie |
Technik | |
ISBN-10 | 0-08-087343-X / 008087343X |
ISBN-13 | 978-0-08-087343-5 / 9780080873435 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 6,8 MB
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
Zusätzliches Feature: Online Lesen
Dieses eBook können Sie zusätzlich zum Download auch online im Webbrowser lesen.
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