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 be 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.  Monday 2 January, 19h (online)  Introductory meeting. Questions about practicalities. Relativization, issues about formal language vs. metalangauge, etc.  Notes 
2.  Friday 6 January, 17:30 (online)  Discussion/questions. Minilecture on Reflection, Gödel's Constructible Universe L, and the relative consistancy of AC and GCH.  Notes 
3.  Tuesday 17 January, 15:00 (online)  Discussing forcing and Martin's Axiom  Notes 
4.  Friday 27 January, 17:00 (online)  Intuition about forcingnames, other application of forcing  Notes 
Date  Who  Topic  Room  Notes  
1.  Wednesday 1 February, 13:00  Vince Velkey  Introduction to Forcing  F 1.15 (Seminar Room)  
2.  Wednesday 1 February, 14:30  Arunavo Ganguly  Technicalities of Forcing  F 1.15 (Seminar Room)  Notes 
3.  Thursday 2 February, 13:00  Kirill Kopnev  ZFC in M[G]  L.012 (LAB 42)  Notes 
4.  Thursday 2 February, 14:30  Ruiting Hu  Forcing nonCH  L.012 (LAB 42)  Notes 
5.  Thursday 2 February, 16:00  Lingyuan Ye  BooleanValued Sets and Forcing  L.012 (LAB 42)  
6.  Friday 1 February, 16:00  Annica Vieser  Martin's Axiom  L.012 (LAB 42)  Notes 
7.  Friday 1 February, 17:30  Paul Talma  Forcing in Recursion Theory  L.012 (LAB 42)  
8.  Thursday 16 February, 15:00  Ferreol Lavaud  Topostheoretic approach to Forcing  A1.04 