HOD in inner models with Woodin cardinals

Sandra Müller, Grigor Sargsyan

We analyze the hereditarily ordinal definable sets $\mathrm{HOD}$ in $M_n(x)[g]$ for a Turing cone of reals $x$, where $M_n(x)$ is the canonical inner model with $n$ Woodin c…