We hold seminar on Tuesday , May 29,
time 16:00-17:30, seminar room: 201.
Speaker: Asaf Karagila (BGU)
Title: Forcing and Symmetric extensions, part I
Abstract: We will review the methods of forcing for proving independence results in set theory.
We will start with the basic method and generic extensions, and continue to symmetric extensions and their usage in generating models in which the axiom of choice will not hold, and in particular Cohen’s first model in which a Dedekind-finite set of real numbers exists.