The students will study the material independently, assisted by several group meetings. There will be a four assignments to complete and submit. In the last week of January, the students give talks presenting a segment of the material. Successful evaluation of the project is based on completion of the assignments and presentations.
Topic  Reading Material  Assignments 
1. Models of Set Theory


Assignment 1
Submit your assignment here. 
2. Reflection and Collapse



Extra: The Constructible Universe L



3. Martin's Axiom MA
Remark: the axiom may seem arbitrary, but it is introduced here as a way of getting used to the combinatorics of forcing 
 Assignment 2
Submit your assignment here. 
4. Introduction to forcing

 
5. The technicalities of forcing

 Assignment 3
Submit your assignment here. 
6. The ZFC Axioms

 
7. Forcing ¬CH.


Assignment 4
Submit your assignment here. 
Date  What  Notes  
1.  Wednesday 10 January (online)  Discussion about models of set theory, absoluteness and reflection. Minilecture on the constructible universe L.  Notes 
1.  Wednesday 17 January  General discussion and questions.  Notes 
Date  Who  Topic  Room  Notes  
1.  Wednesday 31 January, 15:00  16:30  Qian Chen  Reflection Theorems  F 1.15 (Seminar Room)  Slides 
2.  Thursday 1 February, 13:00  14:30  Orestis Tsakakos  Martin's Axiom  F 1.15 (Seminar Room)  
3.  Thursday 1 February, 17:00  18:30  Fatima Scha  Introduction and main concepts of forcing  F 1.15 (Seminar Room)  
4.  Friday 2 February, 13:30  15:00  Spyros Dialiatsis  Forcing nonCH (the basic idea)  F 3.20  
5.  Friday 2 February, 15:00  16:30  Tenyo Takahashi  Forcing nonCH (ccc and preservation of cardinals)  F 3.20 