Homepages

(hier geht es zur ggf. vollständigeren Homepage im alten Layout)
(this way to the possibly more complete Homepage in the old layout)

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