A derived model with a measure
Martin Koeberl: Rutgers University
Location: Hill 705
Date & time: Monday, 06 February 2017 at 5:00PM - 5:11PM
By a slight modification of Steel's stationary-tower-free proof of the derived model theorem, I will give an outline of how to get a canonical model of AD^+ with a measurable cardinal above Theta, assuming a limit of Woodin cardinals with a measurable above.