Mathematical logic seminar – February 17, 2015

Time: 12:30 – 13:30

Room: Wean Hall 8201

Speaker: Daniel Rodriguez

Department of Mathematics

CMU

Title: Uniqueness of Supercompact measures I

Abstract:

ADℝ is a natural strengthening of AD, which states that all games on real numbers are determined. Solovay proved that under ADℝ there is a canonical fine, normal countably complete measure on Pω1(ℝ) (we will call such measures ℝ-supercompact). Moreover Woodin showed that the models of the form L(ℝ,μ) satisfying the theory “ZF+AD+ + μ is an ℝ-supercompact measure” satisfy as well “μ is the unique such measure”. In recent work with Nam Trang, we proved that (modulo some large cardinals) the models of the form L(ℝ, μ) are unique (very much as Kunen’s version of L[U]). I will give the outline of the mentioned results of Solovay, and Woodin, and discuss the proof of the uniqueness of such models.