Albert-Ludwigs-Universität Freiburg
	Institut für mathematische Logik und Grundlagen der Mathematik

Vorlesung Modelle der Mengenlehre im WS 1996/97

Zeit: Di 9 - 11
Ort: SR 318 Eckerstr. 1
Übungen dazu: 2stündig n.V.

Die Cohensche Forcingmethode wird entwickelt und die klassischen Unabhängigkeitsresultate bewiesen, so zum Beispiel:

Wenn ZFC widerspruchsfrei ist, ist auch ZFC + ¬ CH widerspruchsfrei.

Außerdem zeigt sich, daß das Auswahlaxiom nicht aus den anderen Axiomen der Mengenlehre folgt.

Voraussetzungen: Anfangsgründe der axiomatischen Mengenlehre.

Prüfungsstoff im Spezialgebiet Logik.

Literatur:

• Kunen, K.: "Set Theory." An Introduction to Independence Proofs. North-Holland, 1980
• Shoenfield, J.R.: "Unramified Forcing". In: Scott, D. (Ed.): Axiomatic Set Theory. Vol. I Providence 1967. pp. 357-381