Mathematical logic seminar - March 3, 2015

Time: 12:30 - 13:30

Room: Wean Hall 8201

Speaker:     Daniel Rodriguez    
Department of Mathematics

Title: Uniqueness of Supercompact measures III


Assuming that there are ω2 many Woodin cardinals with a measurable above them, we will continue the outline of the proof of the uniqueness of the models of the form L(ℝ,μ) that satisfy the theory "ZF+AD+ μ is an ℝ-supercompact measure". If time permits we will discuss other scenarios and results.