check
Logic seminar - Yair Hayur, "Radin Forcing and model without weak diamond" | Einstein Institute of Mathematics

Logic seminar - Yair Hayur, "Radin Forcing and model without weak diamond"

Date: 
Wed, 08/03/201716:00-18:00
Location: 
Ross 70
Abstract: We continue with the topic of the previous week. We will define the Radin forcing, discuss (without proof) and its basic properties. We will give Woodin's proof for the consistency of the existence of strong inaccessible without diamond and show how to strengthen it to the consistency of strong inaccessible without weak diamond.