What is… forcing?

Vortrag von Silvan Horvath

Datum: 21.04.26  Zeit: 16.30 - 18.30  Raum:

Forcing is arguably the most versatile and widely used technique for proving consistency and independence results in set theory and in mathematics more generally. The aim of this talk is to introduce this method and to use it to prove that the continuum hypothesis is independent of ZFC. No prior knowledge is required.