{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,4,1]]，“日期-时间”：“2024-04-01T17:50:16Z”，“时间戳”：1711993816990}，“参考-计数”：13，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“3”，“许可证”：[{“开始”：{-date-parts”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：4210，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2002,9]}”，“abstract”（摘要）：“在本文中，我们将证明两个涉及构造具有无穷多个Woodin基数的核模型的定理。我们假设熟悉[12]，它发展了核心模型理论——一个Woodin水平，以及[10]和[6]，它将[5]的精细结构理论扩展到具有许多Woodin基数的小鼠。我们在这里必须面对的最重要的一般性新问题涉及到K（K）c<\/jats:sup><\/jax:italic>关于不可数迭代树<\/锯齿：p>我们的第一个结果是以下定理，伍丁早先独立地证明了该定理的一个稍强的版本。该定理肯定地解决了冯、马奇多和伍丁[2]的猜想<\/锯齿：p>定理。让<\/jats:italic>\u03a9是可衡量的。那么以下是等价的<\/jats:italic>：<\/jax:p>（a）对于所有偏序集，<\/jats:p>（b）对于每个偏序集，<\/jats:p>（c）对于每个偏序集<\/jats:italic>\u2119\u2208V<\/jats:italic>\u03a9<\/jats:sub>，V<\/jats:italic>\u2119<\/jats:sup>\u22a8在L中没有不可数的不同实数序列（d）有一个高度为u03a9的\u03a9-iterable premouse满足\u201c其中有无限多个Woodin基数\u201d<\/jats:italic><\/锯齿：p>这是一个直接的推论，如果在L<\/jats:italic>（\u211d）是弱均匀的，然后是ADL保持不变。我们还将指出该定理对点类的一些扩展L<\/jats:italic>（\u211d）和具有超过\u03c9个木红雀的老鼠<\/jats:p>“，”DOI“：”10.2178\/jsl\/119015059“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,13]]，”date-time“：”2007-12-13T14:14:26Z“，”timestamp“：1197555266000}“，”page“：“1197-1226”，“source”：“Crossref”，“is-referenced-by-count”：17，“title”：[“Core models with more Woodin cardinals”]，“前缀”：“10.1017”，“卷“：”67“，”作者“：[{”给定“：”J.R.“，”family“：”Steel“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-on-line“：{”date-parts“：[[2014,3,12]]}，”reference“：[{”key“：”S002248120000952X_ref011“，”first page“：952X_ref008“，”doi-asserted-by“：”publisher“，”DOI“：”10.1090\/S0002-9947-99-02411-3“}，{“key”：“S002248120000952X_ref006”，“first page”：”1285“，”volume“：”64“，”author“：”Neeman“，”year“：”1999“，”journal-title“：”A weak Dodd-Jensen引理“}，{”key“：”S002248120000952X_ref004“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1016\/S0168-0072（96）00032-2“}，”{“key”：“S002248120000952X_ref003”，”DOI-asserted-by“：”publisher”，“DOI”：“10.1090\/S0894-0347-1224594-7”}，“key“：”S002248.120000952x_ref009“，”unstructured“：”Schindler R.D.，Steel J.R.，and Zeman M.，Deconstructing internal model theory，（to appear）。“}”，{“key”：S002248120000952X_ref013“，”volume-title“：《集合论手册》，“author”：“Steel”}，{“key”：“S002248120000952X_ref002”，“volume-tiple”：“Universally Baire sets”，“author”：“Feng”}、{“密钥”：“SO002248125000952X_ref010”、“doi-asserted-by”：“publisher”，”doi“10.1016\/0168-0072（93）90037-E”}；{“key”：”S002248220000952x_ref007“，”第一页：“621”，“volume”：“61”，“author”：“Schimmerling”，“year”：“1996”，“期刊标题”：“温和内部模型的精细结构”}，{“密钥”：“S002248120000952X_ref001”，“文章标题”：“国内Kc水平是可迭代的”，“作者”：“Andretta”，“期刊标题”：“以色列数学杂志”}，{“密钥”：“S002248120000952X_ref012”，“doi断言者”：“出版商”，“doi”：“10.1007\/978-3-662-22485-4”}]，“容器标题”：[”符号逻辑杂志“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120000952X“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：”{“date-parts”：[2019,5,6]]，“date-time”：“”2019-05-06T20:45:56Z“，”timestamp“：1557175556000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120000952X\/type\/journal_article”}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[2002,9]}，‘参考计数’：13，‘日志发布’：{‘发布’：“3”，“published-print”：{“date-parts”：[[2002,9]]}}，“alternative-id”：[“S002248120000952X”]，“URL”：“http://\/dx.doi.org\/10.2178\/jsl\/119015059”，“关系”：{}，“ISSN”：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-4812'，”type“：”print“}，{“value”：“1943-5886'，”类型“：”电子“}]，“subject”：【】，“published”：{“日期部分”：[[2002,9]}}}