Ultrapowers of determinacy models as iteration trees on HOD

Gabriel Goldberg, Grigor Sargsyan, Benjamin Siskind

In the 1990s, Steel and Woodin showed that under large cardinal hypotheses, the HOD of $L(\mathbb{R})$ admits a fine-structural analysis. Although this theorem sheds light on variou…