Fachbereich Mathematik 
  UHH > Faculties > MIN-Faculty > Mathematics > Staff   STiNE |  KUS-Portal |  Sitemap Search Help hier gehts zur deutschen Seite  

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.


 
  zurück Seitenanfang  Impress 2016-04-08, Nathan Bowler