罗纳德·延森;约翰·斯蒂尔 \（K\）没有可测量值。 （英语） Zbl 1348.03049号 J.赛姆布。日志。 78，第3期，708-734（2013）. 摘要：我们在ZFC中表明，如果不存在具有Woodin基数的适当类内部模型，那么存在绝对可定义的堆芯模型以各种方式接近（V）。 引用于2评论引用于38文件 MSC公司： 03E45型 内部模型，包括可构造性、顺序可定义性和核心模型 03E55型 大型红衣主教 PDF格式BibTeX公司 XML格式引用 \textit{R.Jensen}和\textit{J.Steel}，J.Symb。日志。78，第3号，708--734（2013；Zbl 1348.03049） 全文： 内政部 欧几里得 参考文献： [1] K.J.Devlin和R.B.Jensen Marginalia to a定理，ISILC逻辑会议记录（G.H.Müller、a.Oberschelp和K.Potthoff，编辑），《Springer数学讲义》，第499卷，Springer，柏林，1975年，第115-142页。 [2] A.J.Dodd和R.B.Jensen《核心模型》，《数理逻辑年鉴》，第20卷（1981年），第43-75页·兹bl 0457.03051型 ·doi:10.1016/0003-4843（81）90011-5 [3] --（K）的覆盖引理，《数理逻辑年鉴》，第22卷（1982），第1-30页·Zbl 0492.03014号 ·doi:10.1016/0003-4843（82）90013-4 [4] --（L[U]\）的覆盖引理，《数理逻辑年鉴》，第22卷（1982），第127-135页·Zbl 0522.03037号 ·doi:10.1016/0003-4843（82）90018-3 [5] Gunter Fuchs（lambda）-结构和（s）-结构：翻译模型，《纯粹和应用逻辑年鉴》，第162卷（2011年），第257-317页·Zbl 1250.03106号 ·doi:10.1016/j.apal.2010.08.003 [6] M.Gitik、R.Schindler和S.Shelah Pcf理论和Woodin红衣主教，2002年逻辑学术讨论会，逻辑讲义，第27卷，符号逻辑协会，伊利诺伊州乌尔班纳，2006年，第172-205页·Zbl 1107.03057号 [7] R.B.Jensen《可构造层次的精细结构》，《数学逻辑年鉴》，第4卷（1972年），第229-308页·Zbl 0257.02035号 [8] --健壮扩展器，手写笔记，2003年，家族www.mathematik.hu-berlin.de/\~raesch/org/jensen.html。 [9] --一种新的精细结构，手写笔记，家族www.mathematik.hu-berlin.de/\~raesch/org/jensen.html。 [10] R.B.Jensen、E.Schimmerling、R.D.Schindler和J.R.Steel Stacking mices，《符号逻辑杂志》，第74卷（2009年），第315-335页·Zbl 1161.03031号 ·doi:10.2178/jsl/1231082314 [11] W.J.Mitchell《措施序列的核心模型II》，未出版初稿，1982年。 [12] --测量序列的核心模型I，《剑桥哲学学会数学学报》，第95卷（1984年），第229-260页·Zbl 0539.03030号 ·文件编号：10.1017/S030500410006151X [13] W.J.Mitchell和E.Schimmerling《无可数闭包的弱覆盖》，《数学研究快报》，第2卷（1995年），第5期，第595-609页·Zbl 0847.03024号 ·doi:10.4310/MRL.1995.v2.n5.a6 [14] W.J.Mitchell、E.Schimmerling和J.R.Steel《伍丁红衣主教的覆盖引理》，《纯粹与应用逻辑年鉴》，第84卷（1997年），第219-255页·Zbl 0868.03021号 ·doi:10.1016/S0168-0072（96）00032-2 [15] W.J.Mitchell和R.D.Schindler《符号逻辑杂志》，第69卷（2004年），第371-386页·Zbl 1069.03046号 ·doi:10.2178/jsl/1082418531 [16] W.J.Mitchell和J.R.Steel精细结构和迭代树，《逻辑讲义》，第3卷，Springer-Verlag，1994年·Zbl 0805.03042号 [17] E.Schimmerling和J.R.Steel核心模型的最大值，《美国数学学会学报》，第351卷（1999年），第8期，第3119-3141页·Zbl 0928.03059号 ·doi:10.1090/S0002-9947-99-02411-3 [18] 核心模型中的E.Schimmerling和M.Zeman Square，《符号逻辑公报》，第7卷（2001年），第305-314页·Zbl 0992.03062号 ·doi:10.2307/2687750 [19] --核心模型中（平方）的表征，《数学逻辑杂志》，第4卷（2004年），第1-72页·Zbl 1095.03050号 ·doi:10.1142/S0219061304000310 [20] R.D.Schindler《几乎线性迭代的核心模型》，《纯粹和应用逻辑年鉴》，第116卷（2002年），第207-274页·Zbl 1017.03029号 ·doi:10.1016/S0168-0072（01）00113-0 [21] F.Schlutzenberg小鼠测量，博士论文，加州大学伯克利分校，2007年。 [22] J.R.Steel《核心模型可迭代性问题》，《逻辑讲义》，第8卷，Springer-Verlag，1996年·Zbl 0864.03035号 [23] --\（textsf{{PFA}}\）暗示\（ad\）in \（L（\mathbb{R}）\），《符号逻辑杂志》，第70卷（2005），第4期，第1255-1296页·Zbl 1103.03047号 ·doi:10.2178/jsl/1129642125 [24] --与小鼠相关的衍生模型，无穷大的计算前景（C.T.Chong、Q.Feng、T.A.Slaman和W.H.Woodin，编辑），《世界科学》，2008年，第105-193页·Zbl 1158.03034号 ·电话：10.1142/9789812794055_0003 [25] --《内部模型理论概述》，《集合论手册》（M.Foreman和A.Kanamori，编辑），第3卷，施普林格出版社，2010年，第1595-1684页·Zbl 1198.03070号 ·doi:10.1007/978-1-4020-5764-9_20 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。