{"id":"arxiv/2603.20951","url":"https://arxiv.org/abs/2603.20951","tags":["math.LO"],"score":0,"title":"Ultrapowers of determinacy models as iteration trees on HOD","domain":"math.LO","source":"arxiv","authors":["Gabriel Goldberg","Grigor Sargsyan","Benjamin Siskind"],"reviews":0,"subject":"math.LO","summary":"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 various problems in descriptive set theory, the fine-structural representations of many fundamental objects of determinacy theory are still unknown. For example, Woodin asked whether the ultrapower of HOD by the closed unbounded filter on $ω_1$ is given by an iteration tree on HOD according to its fine-structural extender sequence and canonical iteration strategy. In this paper, we give a positive answer to Woodin's…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-21","reactions":{}}