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]}$.