The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin
Abstract
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]}$.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2017
- DOI:
- arXiv:
- arXiv:1711.02007
- Bibcode:
- 2017arXiv171102007Z
- Keywords:
-
- Mathematics - Logic;
- 03E15;
- 03E45;
- 03E55;
- 03E60
- E-Print:
- withdrawn due to a mistake in Lemma 6.2