Andreas Ostling: Axiomatic Set Theory. Its Conse- quences, Inner Models and Rela- tive Consistency Results
Time: Fri 2019-03-22 10.00 - 11.00
Location: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University 
Respondent: Andreas Ostling
Supervisor: Yishao Zhou
Abstract:
In this thesis, we give an intermediate level introduction to the Zermelo- Fraenkel axiom system for Set Theory, with and without choice (ZF and ZFC respectively). We give more detailed proofs for some of the more basic re- sults of the theory and develop the material at a more leisurely paste than usual for other resources. This makes the thesis especially suitable for the beginning student of Set Theory. We also attempt to motivate the theory at several points by connecting it to some philosophical disputes of
the sub- ject, while leaving any resolution of these disputes to the reader.