Graduate Seminar on Set Theory (S4A4): Proper forcing

Organizers

• Prof. Dr. Peter Koepke, Dr. Philipp Schlicht, Dr. David Schrittesser, Dr. Philipp Lücke

Time and location

Tuesdays 16.15-18.00 in room N0.008.

Prerequisites: Forcing as in models of set theory.

Contents

An introduction to proper forcing, the proper forcing axiom and its applications.

Plan

08 May  Miguel Moreno Proper forcing

15 May  Miguel Moreno Proper forcing continued      Nadja Hempel Countable support iteration of proper forcing

22 May  Nadja Hempel Countable support iteration of proper forcing continued

05 June  Julian Schlöder PFA from a supercompact cardinal

12 June  Ronja Reese, Tore Carstens Applications of PFA

19 June  Ronja Reese, Tore Carstens Applications of PFA continued

26 June  Ronja Reese, Tore Carstens Applications of PFA continued

02 July  tba