As a part of the workshop on “The Core Model Induction and Other Inner Model Theoretic Tools” in Rutgers I gave a tutorial on HOD Computations.

Abstract: An essential question regarding the theory of inner models is the analysis of the class of all hereditarily ordinal definable sets HOD inside various inner models $M$ of the set theoretic universe $V$ under appropriate determinacy hypotheses. Examples for such inner models $M$ are $L(\mathbb{R})$ or $L[x]$ on a cone of reals $x$. We will outline Steel’s and Woodin’s analysis of $HOD^{L(\mathbb{R})}$. Moreover, we will discuss their analysis of $HOD^{L[x,G]}$ on a cone of reals $x$, where $G$ is $Col(\omega,\kappa)$-generic and $\kappa$ is the least inaccessible cardinal in $L[x]$. We will point out were the problems are when trying to adapt this to analyze $HOD^{L[x]}$.