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 ω-squared 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.