｛“状态”：“确定”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,3,29]，“日期-时间”：“2022-03-29T07:18Z”，“时间戳”：1648538358150｝，“引用计数”：7，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“3”，“许可证”：[｛“开始”：｛“日期部分”：[[2014,3,12]]，“日期-时间”：“2014-03-12T00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2384，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,9]}”，“abstract”：“”全面背景扩展K（K）c<\/jats:sup><\/jax:italic>-[2]的构造具有这样的属性，如果它不分解并生成最终模型，然后<\/jats:p>\u0389是伍丁在V<\/jats:italic>\u21d2\u0389是Woodin，<\/jats:p>所有\u0389。很自然会问是否<\/jats:p>\u03ba在V<\/jats:italic>\u21d2\u03ba在中是\u03bb-strong，<\/jats:p>对于所有\u03ba，甚至更好，<\/jats:p>\u03ba是\u03bb-strong inV<\/jats:italic>\u21d2\u03ba在中是\u03bb-strong。<\/jats:p>有人可能会怀疑，更有用的答案是\u201cyes\u201d<\/jats:p>对于K（K）c<\/jats:sup><\/jax:italic>-[2]的构造，这个问题是开放的。问题是[2]的构建并不是本地的：由于全面的背景扩展需求，它可能会产生投射到\u03c1的小鼠，其阶段远远大于\u03c。因此，没有理由相信如果E是的\u03bb-strong扩展程序V<\/jats:italic>，然后自然证据只给出了如果\u03ba是\u03a32<\/jats:sub>-strong，然后是\u03a3，在。<\/jats:p>我们不知道如何着手解决这个问题，并怀疑事实上强大的红衣主教V<\/jats:italic>在，如果是[2]的构造的输出。因此，我们将对[2]的结构进行修改。人们可能会要求输出结构这样<\/jats:p>（1） 上的迭代树可以提升到上的迭代树V<\/jats:italic>，<\/jats:p>（2） \u2200\u03b4（\u03b4是Woodin)，和<\/jats:p>（3） （a）\u21be\u03ba（\u03bar是一个强基数\u21d2\u03ba在)，和（b）\u21be\u03ba\u21be\u03bb（Lim（\u03bb）\u039b\u03ba是\u03bb strong \u21d2\u03ba是\u03bb strong in).<\/jats:p>“，”DOI“：”10.2178\/jsl\/1191333838“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:25:04Z“，”timestamp“：1198081504000}，”page“：“721-737”，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“Local”K（K）^{c<\/sup><\/i>constructions“]，”前缀“：”10.1017“，”卷“：”72“，”作者“：[{”给定“：”J.R.“，”家族“：”钢铁“，”序列“：”第一“，”从属“：[]}]，”成员“：”56“，”在线发布“：{”日期部分“：[[2014,3,12]}，”参考“：[}”关键字“：”S0022481200005041_ref003“，“非结构化”：“[3]内曼i.，未出版手稿。“}，{”键“：”S0022481200005041_ref004“，”首页“：”1285\u20131294“，”volume“：”64“，”author“：”Neeman“，”year“：”1999“，”journal-title“：”A weak Dodd-Jensen引理“}，”{“key”：“S0022481200005041_ref002”，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3662-21903-4“}”，{“密钥”：“SO00224811200005041_ref006”，“volume-title”：“2005年7月新加坡研讨会论文集”，“author”：“Steel}，{“键”：S0022481200005041_ref005“，”doi asserted by“：”publisher“，”doi“：”10.1007\/978-3-662-22485-4“｝，”key“：”S0022481200005041_ref007“，”卷标题“：”集合论手册“，”作者“：”Steel“｝，”key“：”S0022481200005041_ref001“，”doi asserted by“：”publisher“，”doi“：”10.1007\/BF202773379“｝]，”容器标题“：[”符号逻辑期刊“]，”原标题“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005041“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,5,1]]，”date-time“：“2019-05-01T21:20:38Z”，“timestamp”：1556745638000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005041\/type\/journal_article”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{-“date-parts”：[[2007,9]]}，”references-count“：7，”journal-issue“：{-问题”：“3”，“published-print”：{--“date-ports”：[2007,9]]}，“alternative-id”：[“S0022481200005041”]，“URL”：“http:\/\/dx.doi.org\/10.2178\/jsl\/1191333838“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”值“：”0022-48012“，“type”：“print”}，{”价值“：”1943-58“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2007,9]]}}}}}