The students study the material independently, assisted by several group meetings. There are four assignments to complete and submit. In the last week of January, students give talks presenting a specific segment of the material (not the whole material needs to be covered). 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 | Where | Notes | |
1. | Tuesday 7 January (online) | Introductory Meeting | online | |
2. | Monday 13 January | Mini-lecture on V=L. | L. 1.12 (Lab 42) | Notes |
Date | Who | Topic | Room | Notes | |
1. | 4 or 5 February (TBA) | TBA | TBA | TBA | |
2. | 4 or 5 February (TBA) | TBA | TBA | TBA | |
3. | 4 or 5 February (TBA) | TBA | TBA | TBA |