The method of forcing had been invented by P. Cohen to prove the independence of the continuum hypothesis from the standard axiom system of set theory, ZFC. Over the last 50 years the method of forcing has been applied to many other problems in set theory and other areas of mathematics. This course will focus on a specific approach which has been explored very actively and successfully: the theory of iterated forcing. After having recalled the basic theory of forcing and having developped the classical theory of iterating proper and semi-proper forcings by S. Shelah and others we shall present more recent results and embed them into key open questions of current-day set theory.
- Lehrende/r: Ralf-Dieter Schindler
Semester: SoSe 2024