We hold seminar on Tuesday , June 5,
time 16:00-17:30, seminar room: 201.
Speaker: Asaf Karagila (BGU)
Title: Forcing and Symmetric Extensions, part II
Abstract: Continuing from last week, we will discuss automorphism of forcings and define what are symmetric models and how they are used to create models negating the axiom of choice. Our ultimate goal, if time permits, will be the construction of Cohen’s first model