伍丁·W·休 合适的延长器型号。二: 超越\(\omega\)-巨大。 (英语) Zbl 1248.03069号 数学杂志。日志。 11,第2期,115-436(2011). 这篇日志填报论文(300多页)被称为第二部分,是[作者,“合适的扩展模型.I”,同上10,第1-2号,101-339(2010;Zbl 1247.03110号)],称为第一部分。作者敦促详细阅读第二部分的读者查阅第一部分,因为第二部分多次提及其内容。此外,第一部分的导言对这两篇论文进行了概述。第二部分:作者在“(欧米伽)-巨”的层次上考虑了大公理。他研究的最初动力是理解这些公理是如何转化为第一部分中合适的扩展模型的。对迁移问题的研究揭示了\(\text{广告}_{\mathbb R}\)在\(\omega\)-巨大级别。作者表明结果\(\text{广告}_类{mathbb R}公理从(V)转移到合适的扩展程序模型。此外,转移证明揭示了存在一个适当的\(\lambda \)类,其中\(\text{广告}_类公理成立,并且此类的存在在强制集合下是不变的。发现\(\text{广告}_类{mathbb R}公理促使作者提出两个猜想:(1)λ处平方根的弱唯一性,(2)λ上的AD-共轭(分别是第5节和第6节及第8节的主题)。对于(mathbb M)一个合适的扩展模型,这两个猜想的有效性都表明,所有此类确定类公理(按合适的序数参数排序)都从(V)转移到(mathbbM)的一个小泛型扩展,其中相当大的初始段转移到(mathbb M。[我部分见同上第10号。2, 101–339 (2011;兹比尔1247.03110).]审核人:J.M.Plotkin(东兰辛) 引用于4评论引用于24文件 MSC公司: 03E45型 内部模型,包括可构造性、顺序可定义性和核心模型 03E25型 选择公理和相关命题 03E35号 一致性和独立性结果 03E55型 大型红衣主教 03E60年 确定性原则 03E65年 其他集合理论假设和公理 关键词:扩展器;内部模型;超紧基数;\(\omega\)-巨大;确定性公理 引文:Zbl 1247.03110号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Woodin},J.数学。日志。11,第2号,115-436(2011;Zbl 1248.03069) 全文: 内政部 参考文献: [1] DOI:10.1090/ulect/032·doi:10.1090/ulect/032 [2] 内政部:10.1090/S0894-0347-1994-1224594-7·doi:10.1090/S0894-0347-1994-1224594-7 [3] 内政部:10.1007/978-3-662-22485-4·数字对象标识代码:10.1007/978-3-662-22485-4 [4] 内政部:10.1515/9783110804737·数字对象标识代码:10.1515/9783110804737 [5] 数字对象标识码:10.1142/S0219061310000095X·Zbl 1247.03110号 ·doi:10.1142/S021906131000095X文件 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。