Infinitary combinatorics
Wintersemester 2019/2020

Mathematisches Institut Abteilung für Math. Logik

Die ist die Homepage der Vorlesung "Infinitary combinatorics" im Wintersemester 2019/2020.


Giorgio Laguzzi

(Please feel free to contact me at for asking any question about the course.)

Ort und Zeit

Do 16 - 18, SR 127
Di 16 - 18, SR 414


The course is primarily an introduction to infinitary combinatorics, one of the main tools in set theory and forcing method. More specifically during the course the following topics are introduced and analysed: Mad families, Martin's axiom and its equivalent statements, Suslin problem, infinite trees, club filter, diamond principles.  Moreover we are going to also give applications of this tools in measure theory, topology and basic Ramsey theory. The course is not meant to include an introduction to forcing method, but it provides a detailed study of the combinatorics machinery used in forcing theory, in order to give a robust basis for further studies in that direction as well.


  1. T. Bartoszynski, H. Judah, - Set Theory - On the structure of the real line, AK Peters, 1995.
  2. K. Kunen, Set Theory - An introduction to independence proofs, North Holland, 1980.

Exercise Sheets

  • Exercise sheet 1
  • Exercise sheet 2
  • Exercise sheet 3
  • Exercise sheet 4
  • Exercise sheet 5
  • Exercise sheet 6
  • Exercise sheet 7
  • Exercise sheet 8
  • Exercise sheet 9
  • Exercise sheet 10