| 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: 104294, Übungen: 104309 |
| Inhalt: |
Diese Vorlesung ist eine Fortsetzung der Veranstaltung Logik III des Wintersemesters 2007/08. In Logik III wurden die Grundbegriffe der Mengenlehre vorgestellt; insbesondere wurde das Axiomensystem ZFC eingeführt und grundlegende Aussagen zur Kardinalzahlarithmetik und zur Theorie der Mengen reeller Zahlen in ZFC bewiesen.
In Logik IV soll nun die zentrale Methode vorgeführt werden, die es erlaubt, die Unabhängigkeit wichtiger Aussagen, etwa der Kontinuumshypothese, von ZFC nachzuweisen. Diese Methode ist unter dem Namen `forcing' bekannt. Das forcing kann auch zum tieferen Studium der Kardinalzahlarithmetik und der Theorie der Mengen reeller Zahlen benutzt werden. |
| Literatur: |
Ein Skript zur Vorlesung ist auf der homepage von Prof. Ralf Schindler erhältlich.
|
| Übung: |
Dienstag, 12-14 Uhr im SR8 bei Dominik Adolf |
| Übungsschein: |
Einen Übungsschein erhält man durch:
- Erlangen von mindestens 50% der Punkte aus den Übungsaufgaben,
- regelmäßige und aktive Teilnahme an den Übungen |
| Aufgaben: |
Die Aufgaben werden jeweils montags in der Vorlesung ausgegeben, die Lösungen werden dann am folgenden Montag in der Vorlesung abgegeben.
|
| Bei Problemen: |
Sprechen Sie die Veranstalter an. |
