| WWU Münster Mathematik: Logik |
Logik III (Mengenlehre)
Wintersemester 2003/2004
| Veranstalter: | Prof. Dr. R. Schindler, Zi. 804 (Sekretariat Frau Pfeifer, Zi. 811),
Dr. M. Möllerfeld , Zi. 812, Tel. 83-33767 |
| Zeit der Vorlesung: | Montag und Mittwoch 13-15 Uhr, M6 |
| Belegnummern: | Vorlesung: 103.618, Übungen: 103.622 |
| Beginn: | Die erste Vorlesung findet am Mittwoch, den 15.10.2003 statt. |
| Inhalt: | Die Vorlesung bietet eine Einführung in die moderne Mengenlehre. Ein wichtiges Anliegen der Mengenlehre ist das Studium von Mächtigkeiten unendlicher Mengen, etwa von Mengen reeller Zahlen. Zentrales Hilfsmittel sind hierfür die Begriffe von Ordinalzahl und Kardinalzahl. Cantors Kontinuumsproblem fragt, ob es eine überabzählbare Menge reeller Zahlen gibt, deren Mächtigkeit kleiner als diejenige der Mengen aller reellen Zahlen ist. Wir werden zentrale Methoden (Konstruktibilität, forcing) kennenlernen, die es erlauben, diesem Problem nachzugehen. Es ist geplant, die Vorlesung im SS 04 fortzuführen. |
| Vorkenntnisse: | Grundkenntnisse in mathematischer Logik. |
| Literatur: |
Jech, "Set theory" Kunen, "Set theory" Jensen, "Modelle der Mengenlehre" |
Übungen: | Mi 17 Uhr, SR2 bei Markus Kirsch |
| Übungsschein: | Einen Übungsschein erhält man durch: - das Erlangen von mindestens 50% der möglichen Punkte aus den Übungsaufgaben, - aktive Teilnahme an den Übungen (u.a. mehrfaches Vorrechnen). |
 | Der Merkzettel zu den Übungen als ps-Datei oder als pdf-Datei. | ||||||||||||
|
|
Die Übungsbögen:
|
