TeachingThis page collects various notes and slides that have been used in my courses at the University of Copenhagen. Since I tend to use Absalon to post all information and all notes and exercises for my courses, this page only functions as a repository where some of the course material remain available for posterity (so to speak).
Introduction to Mathematical Logic (S2012, S2013, S2014, FW2014/15)
This course follows Herbert Enderton's A mathematical introduction to logic (2ed, AP, 2001), but with some supplements:
Descriptive set theory (S2013)
This course follows Alexander Kechris' Classical descriptive set theory (Springer, GTM 156, 1995).
Axiomatic set theory and forcing (W2014)
This course followed K. Kunen's textbook "Set Theory: An introduction to Independence Proofs" (North-Holland, 1980), as well as some lecture notes by D.A. Martin
Diskret Matematik, a.k.a. DIS (F2014)
This course follows a set of lecture notes written by Jesper Lutzen. Some slides and notes:Slides form lecture 1
Lecture 1 notes
lecture 2 slides
lecture 3 slides
lecture 4 slides
Ramsey's theorem (assignment)