Seminar series
Date
Thu, 13 Jun 2024
Time
11:00 -
12:00
Location
C3
Speaker
Wojciech Wołoszyn
Organisation
University of Oxford
Solovay defined the inner model L(R,μ) in the context of ADR by using it to define the supercompactness measure μ on Pω1(R) naturally given by ADR. Solovay speculated that stronger versions of this inner model should exist, corresponding to stronger versions of the measure μ. Woodin, in his unpublished work, defined μ∞ which is arguably the ultimate version of the supercompactness measure μ that Solovay had defined. I will talk about μ∞ in the context of AD+ and the axiom V=Ultimate L.