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.

https://woloszyn.org/

Last updated on 10 Jun 2024, 6:40pm. Please contact us with feedback and comments about this page.