Die Studierenden werden mit der "Forcing"-Methode in der Mengenlehre vertraut gemacht.
ZFC-Modelle, partielle Ordungen und vollständige Boolesche Algebren als Forcing-Begriffe, Unabhängigkeit der Kontinuumshypothese. Weitere Themen je nach Interesse der Hörer: Iteriertes Forcing, das Martinsche Axiom, das Solovay-Modell.
Nicht erforderlich