arXiv Analytics

Sign in

arXiv:1711.02007 [math.LO]AbstractReferencesReviewsResources

The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin

Yizheng Zhu

Published 2017-11-06Version 1

Assume $\boldsymbol{\Delta}^1_3$-determinacy. It is shown that for any $x \geq_T M_1^{\#}$, $\mathrm{HOD}^{L[x]}$ is a model of GCH, and in fact, it is a Jensen-Steel core model up to $\omega_2^{L[x]}$.

Comments: 26 pages
Categories: math.LO
Subjects: 03E15, 03E45, 03E55, 03E60
Related articles: Most relevant | Search more
arXiv:2409.07156 [math.LO] (Published 2024-09-11)
Building Models of Determinacy from Below
arXiv:2106.04244 [math.LO] (Published 2021-06-08)
The consistency strength of determinacy when all sets are universally Baire
arXiv:0905.4412 [math.LO] (Published 2009-05-26)
Weak systems of determinacy and arithmetical quasi-inductive definitions

Links

Toolbox