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

---

Lecture course "Mengenlehre", winter semester 2015/16

Exercise sheets (Deadlines in brackets)

There will be an exercise sheet every two weeks.

Here are the exercise sheets:
Sheet 1 Sheet 2 Sheet 3 Sheet 4 Sheet 5 Sheet 6

Related books:

P. Johnstone	Notes on logic and set theory
H. B. Enderton	Elements of set theory

---

Log:

15.10.	Classes and the first few axioms: extensionality, comprehension, empty set, pair set, union and power set
22.10.	Further axioms: infinity and replacement
29.10.	Foundation, wellfoundedness and induction
05.11.	Recursion and the start of the cumulative hierarchy
12.11.	The Mostowski Collapse. Wellorderings
19.11.	Ordinal numbers; basic examples and operations
26.11.	The Axiom of Choice, Zorn's Lemma and the Wellordering Principle
03.12.	Applications of the Axiom of Choice
10.12.	Cardinal numbers; basic examples and operations
17.12.	Cardinal Arithmetic
07.01.	Untyped Lambda-Calculus
07.01.	Implementing functions in untyped Lambda-Calculus
07.01.	Typed Lambda-Calculus

Office hours:
Tu, 3-4pm; Fri, 10-11am.