Axiomatic Set Theory (SoSe 2018)
The lecture takes place on Thursdays from 11:30am to 1:45pm in the lecture room of the Kurt Gödel Research Center (Währinger Straße 25, 2nd floor, 02.101, floor plan).
Details about the contents of each lecture can be found here.
To pass this class you need to take an oral exam. The dates will be fixed by appointment.
ContentsThis lecture will be an introduction to set theory, in particular to independence proofs. The goal is to establish the independence of the continuum hypothesis. We will start from the $ZFC$ axioms and introduce ordinals and cardinals. Then we will define Gödel's constructible universe $L$ and show that it is a model of $ZFC$ and $GCH$, the generalized continuum hypothesis. Furthermore, we will introduce measurable cardinals and show that they cannot exist in $L$. If time allows, we will discuss variants $L[U]$ of $L$ which allow the existence of a measurable cardinal. Finally, we will introduce Cohen's forcing technique and show that there is a model of $ZFC$ in which the continuum hypothesis does not hold.
Some familiarity with the contents of the lecture "Grundzüge der mathematischen Logik" (e.g. see SoSe 2017) or "Introduction to mathematical logic" (e.g. see WiSe 2017/18) will be helpful.
ProseminarVera Fischer and I will offer a Proseminar (Exercise session) for this lecture. I strongly recommend to also participate in the Proseminar. The Proseminar takes place on Fridays from 1pm to 2:30pm in the lecture room of the Kurt Gödel Research Center (Währinger Straße 25, 2nd floor, 02.101, floor plan). To be graded for the Proseminar you have to regularly attend and present solutions on the board at least two times during the semester. To practice your mathematical writing skills, we in addition expect you to occasionally submit written solutions for exercises.
ExercisesProblem set 1: 09.03.2018
Problem set 2: 17.03.2018
The exercises can also be found here.
- Kunen, K. (2011). Set Theory. College Publications.
- Schindler, R. (2014). Set Theory: Exploring Independence and Truth. Springer International Publishing.
- Jech, T. (2006). Set Theory: The Third Millennium Edition, revised and expanded. Springer Berlin Heidelberg.
For further studies I also recommend the following book, but most material in this book will be beyond what we will be able to cover this semester.
- Halbeisen, L. J. (2011). Combinatorial Set Theory: With a Gentle Introduction to Forcing. Springer London.