Ultrapowers of determinacy models as iteration trees on HOD
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.20951
curl -X POST /api/v1/records/arxiv/2603.20951/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.20951/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'