Advanced Topics in Mathematical Logic: Forcing (V5A6)

Lecturer

Time and place

Contents

The method of forcing was introduced by Paul Cohen in his proof of the independence of the Continuum Hypothesis and the Axiom of Choice. Forcing proved to be a remarkably general technique for producing a large number of models and consistency results.
In this lecture, we present several important forcing constructions, in particular