Suitable Extender Models I
Suitable Extender Models I
复制标题
适用延长器型号 I
DOI：
10.1142/s021906131000095x
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
W. Woodin
中科院分区：
文献类型：
--
作者：
W. Woodin
我们在一个超紧基数的水平上研究了迭代假设和扩展模型。HOD猜想被引入，并被证明是内部模型计划和理解大基数等级的极限的关键猜想。我们证明，如果HOD猜想是真的，那么这就为哥德尔可构造宇宙L的终极版本的存在提供了强有力的证据。无论这个“终极”L是否存在，现在可以说是内模型计划的中心问题。
We investigate both iteration hypotheses and extender models at the level of one supercompact cardinal. The HOD Conjecture is introduced and shown to be a key conjecture both for the Inner Model Program and for understanding the limits of the large cardinal hierarchy. We show that if the HOD Conjecture is true then this provides strong evidence for the existence of an ultimate version of Godel's constructible universe L. Whether or not this "ultimate" L exists is now arguably the central issue for the Inner Model Program.