Assaf Rinot: Forcing as a tool to prove theorems

Mathematics Colloquium, Bar-Ilan University
Sunday, 10/Nov/2013, 12:00
Speaker: Assaf Rinot

Title: Forcing as a tool to prove theorems


Paul Cohen celebrated solution to Hilbert’s first problem showed that the Continuum Hypothesis is independent of the usual axioms of set theory. His solution involved a new apparatus for constructing models of set theory – the method of forcing. As Cohen predicted, the method of forcing became very successful in establishing the independence of various statements from the usual axioms of set theory. What Cohen never imagined, is that forcing would be found useful in proving theorems (that is, implications).

In this talk, we shall motivate the forcing machinery, and then present a collection of results that were proved using the method of forcing.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.