Der Kern der Vorlesung stellt eine Einführung in forcing dar. Dabei folgen wir im wesentlichen Kapitel 7 von Kunens Buch Set Theory. Jedenfalls zeigen wir die Unbeweisbarkeit der Kontinuumshypothese.

Darüberhinaus werden je nach Interesse einige der folgenden Themen behandelt: Iteriertes forcing (nach Goldsterns Tools for your forcing constructions), Konsistenz und Folgerungen des Martinschen Axioms (u. a. Kunen Kapitel 8, 2), Kombinatorik in L, (relativ) grosse Kardinalzahlen: unerreichbar, Mahlo, schwach kompakt etc.

Voraussetzungen: Grundkenntnisse der axiomatischen Mengenlehre, wie sie zum Beispiel in der Vorlesung Axiomatische Mengenlehre 1 vermittelt werden. Das entspricht in etwa Kunens Kapiteln 0,1,3-5,6§§1-4.