<div class="csl-bib-body">
<div class="csl-entry">Müller, S. (2025). The consistency strength of determinacy when all sets are universally Baire. <i>Advances in Mathematics</i>, <i>481</i>, Article 110548. https://doi.org/10.1016/j.aim.2025.110548</div>
</div>
-
dc.identifier.issn
0001-8708
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/223926
-
dc.description.abstract
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.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.publisher
ACADEMIC PRESS INC ELSEVIER SCIENCE
-
dc.relation.ispartof
Advances in Mathematics
-
dc.subject
Determinacy
en
dc.subject
Hod mouse
en
dc.subject
Inner model theory
en
dc.subject
Strong cardinal
en
dc.subject
Universally Baire
en
dc.subject
Woodin cardinal
en
dc.title
The consistency strength of determinacy when all sets are universally Baire
