HOD 上确定性模型的超积作为迭代树
逻辑
2026-03-24 v1
摘要
在 1990 年代，Steel 与 Woodin 证明，在大基假设下，L() 的 HOD 允许进行精细结构分析。尽管该定理为描述性集合论中的诸多问题提供了洞见，但许多基本的确定性理论对象的精细表示仍是未知的。例如，Woodin 询问 HOD 的闭不设限滤子在 上的超积是否根据其精细结构纤维序列和规范迭代策略给出一个迭代树。在本文中，我们对 Woodin 的问题给出了肯定答案，不仅适用于闭不设限滤子，也适用于任意序数上的超滤子。解决 Woodin 问题的关键工具是近期在内模型理论中的进展：Steel-Schlutzenberg 规范化迭代树理论，使我们能够将 HOD 及其超积表示为单个可数鼠标的正规迭代。尽管我们的结果如此，导致从 HOD 到其超积的迭代树的精确结构仍是谜团。
引用
@article{arxiv.2603.20951,
title = {Ultrapowers of determinacy models as iteration trees on HOD},
author = {Gabriel Goldberg and Grigor Sargsyan and Benjamin Siskind},
journal= {arXiv preprint arXiv:2603.20951},
year = {2026}
}
备注
14 pages