Title | Examinable | Term | Number of Lectures |
---|---|---|---|
Category Theory | Part III Examinable | Michaelmas | 24 |
Model Theory and Non-classical Logic | Part III Examinable | Michaelmas | 24 |
Forcing and the Continuum Hypothesis | Part III Examinable | Lent | 24 |
Large Cardinals | Part III Examinable | Lent | 16 |