Die Vorlesung ist eine Einführung in Konsistenz- und Unabhängigkeitsbeweise
und hält sich an das Buch
Combinatorial
Set Theory.
Weitere Informationen finden Sie im Vorlesungsverzeichnis.
| Datum | Themen |
|---|---|
| DiM21.02. | Überblick (Ch.13, p.319-321) |
| MiD22.02. | \(\text{\small\sf MA(ctbl)}\) und die Existenz von Ramsey Ultrafiltern (Ch.14, p.333-335) [Doppelstunde Vorlesung] |
| DiM28.02. | Die Forcing-Sprache (Ch.15, p.339-344) |
| MiD01.03. | Generische Filter (Ch.15, p.344-345) |
| DiM07.03. | Dichte Einbettungen und äquivalente Forcings (Ch.15, p.345-347) |
| MiD08.03. | Zwei Beispiele für Forcing Partialordnungen (Ch.15, p.340-341) |
| DiM14.03. | Die Forcing-Relation (Ch.15, p.347-349) |
| MiD15.03. | Das Forcing Theorem (Ch.15, p.349-350) |
| DiM21.03. | Das Forcing Theorem (Ch.15, p.350-351) und das Theorem über generische Modelle (Ch.15, p.353) |
| MiD22.03. | Forcings, die keine neuen reellen Zahlen generieren (Ch.15, p.358-360) |
| DiM28.03. | Forcings die keine Kardinalzahlen kollabieren und \(\text{\small\sf Con(ZFC+$\neg$CH)}\;\) (Ch.15, p.360-363) |
| MiD29.03. | \(\text{\small\sf Con(ZFC\,+\,$\mathfrak{c}=\kappa$)}\) für Kardinalzahlen \(\small\kappa\) mit \(\small\kappa^\omega=\kappa\;\) (Ch.15, p.363-364) |
| DiM04.04. | \(\text{\small\sf Con(ZFC)\ $\Rightarrow$\ Con(ZFC\,+\;${\normalsize{\mathfrak 2}^{\omega_\alpha}}=\omega_{\alpha+1}$)}\;\) (Ch.15, p.364-366) |
| MiD05.04. | Grundbegriffe der Modelltheorie (Ch.16, p.369-371) |
| DiM18.04. | Reflektionstheorem und Mostowski-Kollaps (Ch.16, p.371-376) |
| MiD19.04. | Unabhängigkeitsresultate: Der formale Weg (Ch.16, p.376-379) |
| DiM25.04. | Eigenschaften von Forcing Erweiterungen: Cohen Forcing (aus Ch.22) |
| MiD26.04. | Eigenschaften von Forcing Erweiterungen: Mathias Forcing (aus Ch.26) |
| DiM02.05. | Charakterisierung von Ramsey-Ultrafiltern mit Spielen (Thm. 11.17.(b)) |
| MiD03.05. | [Doppelstunde Übungen] |
| DiM09.05. | Eigenschaften von Forcing Erweiterungen: Laver Forcing (p.514 und mehr) |
| MiD10.05. | Eigenschaften von Forcing Erweiterungen: Laver Forcing (p.514 und mehr) |
| DiM16.05. | Produkte von Forcing-Partialordnungen (Ch. 18) |
| MiD17.05. | Konsistenz von \(\text{\small $\omega_1=\mathfrak{a}<\mathfrak{c}$}\) (Thm. 18.5) |
| DiM23.05. | 2-Schritt Iteration von Forcing-Partialordnungen (Ch. 18) |
| MiD24.05. | Allgemeine Iterationen von Forcing-Partialordnungen (Ch. 18) |
| DiM30.05. | Ausblick: einige Konsistenzresultate |
| MiD31.05. | Rückblick [keine Übungsstunde] |
Die neue Übungsserie erscheint jeweils bis spätestens am Mittwoch, und zwar online hier.
Die Übungsserie wird jeweils in der folgenden Woche während
der Übungsstunde besprochen.
| Aufgabenblatt | Besprechung | Lösungen (von S. Schumacher und R. Plati) |
|---|---|---|
| Serie 0 | Mi 01.03. | Lösungen 0 |
| Serie 1 | Mi 08.03. | Lösungen 1 |
| Serie 2 | Mi 15.03. | Lösungen 2 |
| Serie 3 | Mi 22.03. | Lösungen 3 |
| Serie 4 | Mi 29.03. | Lösungen 4 |
| Serie 5 | Mi 05.04. | Lösungen 5, Zusatz |
| Serie 6 | Mi 19.04. | Lösungen 6, Zusatz |
| Serie 7 | Mi 26.04. | Lösungen 7, Zusatz |
| Serie 8 | Mi 03.05. | Lösungen 8, Zusatz |
| Serie 9 | Mi 03.05. | Lösungen 9, Zusatz |
| Serie 10 | Mi 10.05. | Lösungen 10 |
| Serie 11 | Mi 17.05. | Lösungen 11 |
| Serie 12 | Mi 24.05. | Lösungen 12 |
| Serie 13 | Mi 31.05. |