UvA Logo

Advanced Topics in Set Theory
2005/2006; 1st Semester
Institute for Logic, Language & Computation
Universiteit van Amsterdam

Instructor: Dr Benedikt Lwe
Vakcode: MolATST6
Time: Wednesday, 17-19
Place: P.016
Course language: English
Teaching Assistant: Brian Semmes
Intended Audience: M.Sc. students of Logic and Mathematics
Prerequisites: This course assumes knowledge comparable to the course "Axiomatic Set Theory".
Literature: Kenneth Kunen, Set Theory, An Introduction to Independence Proofs, North-Holland 1980 [Studies in Logic and the Foundations of Mathematics 102]
amazon.de: € 83.50
Elsevier: € 76.

In this class, we shall cover the important technique of forcing. Our motivation is Hilbert's First Problem: the question whether there is a bijection between the first uncoutable ordinal omega1 and the set of real numbers (this statement is called the continuum hypothesis CH). In the early 1960s, Paul Cohen developed the technique of forcing that allows to construct models of set theory in which CH is true and those in which it is false.

This class will be much more metamathematical than other set theory classes and will require some preparatory work on models of set theory before we can start developing the theory of forcing.

Grading is based on homework assignments.


Last update : November 30th, 2005