Skip to main content

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.