Seminar series
Date
Wed, 26 May 2021
Time
16:30 - 18:00
Speaker
Sandra Müller
Organisation
TU Wien and University of Vienna

The large cardinal strength of the Axiom of Determinacy when enhanced with the hypothesis that all sets of reals are universally Baire is known to be much stronger than the Axiom of Determinacy itself. In fact, Sargsyan conjectured it to be as strong as the existence of a cardinal that is both a limit of Woodin cardinals and a limit of strong cardinals. Larson, Sargsyan and Wilson showed that this would be optimal via a generalization of Woodin's derived model construction. We will discuss a new translation procedure for hybrid mice extending work of Steel, Zhu and Sargsyan and use this to prove Sargsyan's conjecture.

Please contact us for feedback and comments about this page. Last updated on 03 Apr 2022 01:32.