|Time:|| 12:30 - 13:30
Wean Hall 8201
Department of Mathematics
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.