Nathan Bowler
Vorlesung "Mengenlehre", Wintersemester 2015/16
Übungsblätter
Für diese Vorlesung wird es Übungsblätter alle zwei Wochen geben.
Die Übungsblätter finden Sie hier:
1. Blatt
2. Blatt
3. Blatt
4. Blatt
5. Blatt
6. Blatt
Literatur zur Vorlesung:
| P. Johnstone | Notes on logic and set theory |
| H. B. Enderton | Elements of set theory |
Logbuch:
| 15.10. | Klassen und die Axiome von Extensionalität, Aussonderung, der Leeren Menge, Paarmengen, Vereinigung und Potenzmengen
|
| 22.10. | Weitere Axiome: Unendlichkeit und Ersetzung
|
| 29.10. | Fundiertheit und Induktion
|
| 05.11. | Rekursion und der Anfang der kumulative Hierarchie
|
| 12.11. | Mostowski-Kollaps. Wohlordnungen
|
| 19.11. | Ordinalzahlen; grundlegende Beispiele und Operationen
|
| 26.11. | Das Auswahlaxiom, das Lemma von Zorn und das Wohlordnungsprinzip.
|
| 03.12. | Anwendungen des Auswahlaxioms
|
| 10.12. | Ordinalzahlen; grundlegende Beispiele und Operationen
|
| 17.12. | Kardinalarithmetik
|
| 07.01. | Der untypisierte Lambda-Kalkül
|
| 14.01. | Implementierung von Abbildungen in der untypisierte Lambda-Kalkül
|
| 21.01. | Der typisierte Lambda-Kalkül
|
Sprechstunden:
Di 15:00-16:00 Uhr, Fr 10:00-11:00 Uhr
| 
