Sandra Müller
Published 2021-06-08Version 1
It is known that the large cardinal strength of the Axiom of Determinacy when enhanced with the hypothesis that all sets of reals are universally Baire is much stronger than the Axiom of Determinacy itself. 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 used a generalization of Woodin's derived model construction to show that this conjectured result would be optimal. In this paper we introduce a new translation procedure for hybrid mice extending work of Steel, Zhu and Sargsyan and apply it to prove Sargsyan's conjecture.
The consistency strength of long projective determinacy
Building Models of Determinacy from Below
Forcing the $Π^1_3$-Reduction Property
![QR code for arXiv:2106.04244 [math.LO]](http://oss.arxitics.com/images/favicon.svg)