| Veranstalter: |
Prof. Dr. Ralf Schindler, Zi. 804 (Sekretariat Frau Pfeifer, Zi. 811),
Dr. Gunter Fuchs, Zi. 813, Tel. 83-33762 |
| Zeit und Ort der Vorlesung: |
Montag und Donnerstag 14-16 Uhr, M6 |
| Belegnummern: |
Vorlesung: 104170, Übung: 104199 |
| Inhalt: |
Diese Vorlesung ist eine Fortsetzung der Logik II-Vorlesung. Dabei
soll weiter die Mengenlehre im Vordergrund stehen. Wir werden die
Methode des forcings kennen lernen, mit deren Hilfe gezeigt werden
kann, dass viele einfache Fragen bezüglich Mengen reeller Zahlen nicht
in ZFC entschieden werden können.
|
| Literatur: |
- Ein Skript für die Vorlesung gibt es hier.
- K. Kunen: Set Theory. An Introduction to Independence Proofs. North
Holland (1980)
|
| Übungen: |
Montag 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 Donnerstag in der Vorlesung ausgegeben, die Lösungen können
dann bis zum folgenden Donnerstag, 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.
|
