Skriptum zur Vorlesung Mengenlehre
Skriptum zur Vorlesung Mengenlehre Skriptum zur Vorlesung Mengenlehre
17.7. RELATIVE KONSTRUKTIBILITÄT 159SKOLEM erhalten wir eine Menge b ⊆ L λ mit κ ∪ {a} ⊆ b ∧ |b| = κ, so daß bdieselben Formeln erfüllt wie L λ . Nach dem Kondensationslemma ist (b,∈) ∼ =(L β ,∈) für ein β, wobei der Isomorphismus die transitive Menge κ ∪ {a} invariantläßt. Insbesondere muß κ ∪ {a} ⊆ L β sein, und wegen |β| = |L β | = |b| = κerhalten wir L β ⊆ L κ +.□Die konstruktiblen Teilmengen von ω sind also bereits Elemente von L ω1 ,allgemeiner erhalten wir wegen |L κ +| = κ + für unendliche Kardinalzahlen κ alsFolgerungV = L → GCH, insbesondere :Ist ZF widerspruchsfrei, so auch ZF + AC + GCH.17.7 Relative KonstruktibilitätDer Begriff der Konstruktibilität läßt sich relativieren auf eine vorgegebene Mengea: Setzt manL 0 [a] = TC({a}),L α+1 [a] = Def (L α [a]),L λ [a] = ⋃L ξ [a] für Limeszahlen λ,L[a] :=ξ
17.7. RELATIVE KONSTRUKTIBILITÄT 160Auch die COHENschen Modelle, mit denen die Unabhängigkeit etwa von CHgezeigt wurde, sind Modelle relativer Konstruktibilität, aber Mengen, und zwargehen sie von einem abzählbaren Modell von ZF + AC (wie etwa dem Minimalmodell)aus und erweitern es für eine geeignete (“generische”) Menge G ⊆ Mzu einem Modell der Form M[G], wobei G ∈ M[G], aber M und M[G] dieselbenOrdinalzahlen besitzen. G enthält dabei die notwendige Information, um z. B. zuerzwingen, daß in M[G] : 2 ℵ 0 > ℵ 1 gilt (forcing-Methode).
- Seite 115 und 116: 12.7. VERSPIELTE MENGEN 10812.7 Ver
- Seite 117 und 118: 110Kapitel 13Potenzen von Kardinalz
- Seite 119 und 120: 13.1. UNENDLICHE SUMMEN UND PRODUKT
- Seite 121 und 122: 13.2. SATZ VON KÖNIG-JOURDAIN 1142
- Seite 123 und 124: 13.3. EINGESCHRÄNKTE POTENZMENGENO
- Seite 125 und 126: 13.5. EIGENSCHAFTEN REGULÄRER KARD
- Seite 127 und 128: 13.6. DIE WICHTIGSTEN EIGENSCHAFTEN
- Seite 129 und 130: 13.6. DIE WICHTIGSTEN EIGENSCHAFTEN
- Seite 131 und 132: 124Teil VReflexionen über Mengen
- Seite 133 und 134: 14.1. DIE LEVY-HIERARCHIE DER MENGE
- Seite 135 und 136: 14.3. DIE THEORIE KP VON KRIPKE-PLA
- Seite 137 und 138: 14.4. PARTIELLE REFLEXIONSPRINZIPIE
- Seite 139 und 140: 132Kapitel 15Vollständige Reflexio
- Seite 141 und 142: 15.2. REFLEXION ÜBER KLASSEN 134Be
- Seite 143 und 144: 15.3. HIERARCHIESÄTZE IN ZF 136Men
- Seite 145 und 146: 15.3. HIERARCHIESÄTZE IN ZF 138Ins
- Seite 147 und 148: 140Kapitel 16Innere Modelle16.1 Def
- Seite 149 und 150: 16.2. RELATIVE KONSISTENZBEWEISE 14
- Seite 151 und 152: 16.3. GÖDELISIERUNG 144Beispiele1.
- Seite 153 und 154: 16.3. GÖDELISIERUNG 146wobei man a
- Seite 155 und 156: 16.4. CHARAKTERISIERUNG INNERER ZF-
- Seite 157 und 158: 16.4. CHARAKTERISIERUNG INNERER ZF-
- Seite 159 und 160: 152Kapitel 17Konstruktible Mengen17
- Seite 161 und 162: 17.3. EINE DEFINIERBARE WOHLORDNUNG
- Seite 163 und 164: 17.4. DAS KONDENSATIONSLEMMA 156Sat
- Seite 165: 17.5. DAS COHENSCHE MINIMALMODELL 1
- Seite 169 und 170: 162Kapitel 18Große KardinalzahlenW
- Seite 171 und 172: 18.2. GROSSE UNENDLICHE ZAHLEN 164
- Seite 173 und 174: 18.3. IDEALE UND FILTER 166was wege
- Seite 175 und 176: 18.3. IDEALE UND FILTER 1687. Für
- Seite 177 und 178: 18.4. MAHLOSCHE ZAHLEN 170MAHLOsche
- Seite 179 und 180: 18.5. MESSBARE ZAHLEN 172das Einhei
- Seite 181 und 182: 18.5. MESSBARE ZAHLEN 174• ist κ
- Seite 183 und 184: 19.1. DAS SCHUBFACHPRINZIP 176Eine
- Seite 185 und 186: 19.2. L KANN SEHR KLEIN SEIN 178Sat
- Seite 187 und 188: 180Monographien mit besonderen Schw
17.7. RELATIVE KONSTRUKTIBILITÄT 159SKOLEM erhalten wir eine Menge b ⊆ L λ mit κ ∪ {a} ⊆ b ∧ |b| = κ, so daß bdieselben Formeln erfüllt wie L λ . Nach dem Kondensationslemma ist (b,∈) ∼ =(L β ,∈) für ein β, wobei der Isomorphismus die transitive Menge κ ∪ {a} invariantläßt. Insbesondere muß κ ∪ {a} ⊆ L β sein, und wegen |β| = |L β | = |b| = κerhalten wir L β ⊆ L κ +.□Die konstruktiblen Teilmengen von ω sind also bereits Elemente von L ω1 ,allgemeiner erhalten wir wegen |L κ +| = κ + für unendliche Kardinalzahlen κ alsFolgerungV = L → GCH, insbesondere :Ist ZF widerspruchsfrei, so auch ZF + AC + GCH.17.7 Relative KonstruktibilitätDer Begriff der Konstruktibilität läßt sich relativieren auf eine vorgegebene Mengea: Setzt manL 0 [a] = TC({a}),L α+1 [a] = Def (L α [a]),L λ [a] = ⋃L ξ [a] für Limeszahlen λ,L[a] :=ξ