| Albert-Ludwigs-Universität Freiburg | ||
| Mathematische Fakultät | ||
|
|
|
Zeit und Ort: Di 16.45-18.15; SR 403 Eckerstraße 1.
Ziel der Vorlesung sind relative
Widerspruchsfreiheitsbeweise, z. B. Beweise dafür, daß die
Zermelo-Fraenkelsche Mengenlehre ohne Auswahlaxiom 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.
Literaturverzeichnis