TY - RPRT TI - Ultrapowers of determinacy models as iteration trees on HOD AU - Gabriel Goldberg AU - Grigor Sargsyan AU - Benjamin Siskind PY - 2026 UR - https://arxiv.org/abs/2603.20951 ID - 2603.20951 ER -