We analyze the hereditarily ordinal definable sets $\operatorname {HOD} $ in $M_n[g]$ for a Turing cone of reals x, where $M_n$ is the canonical inner model with n Woodin cardinals build over x and g is generic over $M_n$ for the Lévy collapse up to its bottom inaccessible cardinal. We prove that assuming $\boldsymbol \Pi ^1_{n+2}$ -determinacy, for a Turing cone of reals x, $\operatorname {HOD} ^{M_n[g]} = M_n,$ where $\mathcal {M}_{\infty }$ is a direct limit of iterates of $M_{n+1}$, (...) $\delta _{\infty }$ is the least Woodin cardinal in $\mathcal {M}_{\infty }$, $\kappa _{\infty }$ is the least inaccessible cardinal in $\mathcal {M}_{\infty }$ above $\delta _{\infty }$, and $\Lambda $ is a partial iteration strategy for $\mathcal {M}_{\infty }$. It will also be shown that under the same hypothesis $\operatorname {HOD}^{M_n[g]} $ satisfies $\operatorname {GCH} $. (shrink)

In this paper we shall answer some questions in the set theory of L, the universe of all sets constructible from the reals. In order to do so, we shall assume ADL, the hypothesis that all 2-person games of perfect information on ω whose payoff set is in L are determined. This is by now standard practice. ZFC itself decides few questions in the set theory of L, and for reasons we cannot discuss here, ZFC + ADL yields the most (...) interesting “completion” of the ZFC-theory of L.ADL implies that L satisfies “every wellordered set of reals is countable”, so that the axiom of choice fails in L. Nevertheless, there is a natural inner model of L, namely HODL, which satisfies ZFC.. The superscript “L” indicates, here and below, that the notion in question is to be interpreted in L.) HODL is reasonably close to the full L, in ways we shall make precise in § 1. The most important of the questions we shall answer concern HODL: what is its first order theory, and in particular, does it satisfy GCH?These questions first drew attention in the 70's and early 80's. (shrink)