Ziel der Vorlesung sind einige relative Widerspruchsfreiheitsbeweise,
so
z. B. ein Beweis dafür, daß die Zermelo-Fraenkelsche
Mengenlehre
widerspruchsfrei bleibt, wenn man das Auswahlaxiom und die
allgemeine
Kontinuumshypothese hinzunimmt. Im Vordergrund steht dabei die
sog. Methode der inneren Modelle, insbesondere das innere Modell der
konstruktiblen Mengen.
Voraussetzung zum Verständnis ist eine
gründliche Kenntnis der
Mengenlehre im Rahmen einer einführenden
Vorlesung. Zusammen mit
einer solchen Einführung kann sie dann als
eines der Gebiete für
das Staatsexamen oder für Teil I der mündlichen
Diplomprüfung gewählt werden.
An Literatur sei in erster Linie genannt:
K. Kunen: Set Theory. An
Introduction to Independence Proofs.