| Veranstalter: |
Prof. Dr. Ralf Schindler, Zi. 804 (Sekretariat Frau Pfeifer, Zi. 811),
Dr. Gunter Fuchs (Übungen), Zi. 813, Tel. 83-33762 |
| Zeit und Ort der Vorlesung: |
Montag und Donnerstag 14-16 Uhr, M6 |
| Belegnummern: |
Vorlesung: 104178 , Übung: 104197 |
| Inhalt: |
Wir werden uns unter Anderem vertieft mit der Methode des Forcings beschäftigen.
Wir werden mit iteriertem Forcing die relative Konsistenz von Martin's Axiom zeigen und einige Anwendungen dieses Sachverhalts sehen. Auch werden wir das Zusammenspiel zwischen großen Kardinalzahlen und Forcing betrachten.
Mit Hilfe einer unerreichbaren Kardinalzahl können wir dann Solovay's Modell konstruieren: Ein Modell von ZF+DC, in dem jede Menge von reellen Zahlen Lebesgue-messbar ist.
|
| Literatur: |
- Ein Skript für die Vorlesung gibt es hier.
- K. Kunen: Set Theory. An Introduction to Independence Proofs. North
Holland (1980)
|
| Übungen: |
Donnerstag 12:00 bis 14:00, SR 8, bei Mathias Meczele |
| Übungsschein: |
Einen Übungsschein erhält man durch:
- aktive Teilnahme an den Übungen (u.a. mehrfaches Vorrechnen),
- das Erlangen von mindestens 50% der möglichen Punkte aus den Übungsaufgaben.
|
| Aufgaben: |
Die Aufgaben werden jeweils am Montag in der Vorlesung ausgegeben, die Lösungen können
dann bis zum folgenden Montag, 14:15 Uhr abgegeben werden.
|
| Bei Problemen: |
Sprechen Sie die Veranstalter an oder schicken Sie eine Email an
gfuchs+"at"+math+"dot"+uni-muenster+"dot"+de.
|
