{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部件”:[[2023,10,30]],“日期-时间”:“2023-10-30T08:41:16Z”,“时间戳”:1698655276473},“参考-计数”:3,“出版商”:“剑桥大学出版社(CUP)”,“问题”:“4”,“许可证”:[{“开始”:{-“日期-零件”:[2014,3,12]],“时间“:”2014-03-12T00:00:00Z“,”时间戳“:1394582400000},“content-version”:“unspecified”,“delay-in-days”:10693,“URL”:“https:\/\/www.cambridge.org\/core\/terms”}],“content-domain”:{“domain”(域):[],“crossmark-restriction”(交叉标记限制):false},”short-container-title“:[”J.symb.log.“],”published-print“:{”date-parts“:[[1984,12]}”,“abstract”(摘要):“我们证明了与集合论民俗学中的一个古老问题有关的几个独立性结果。这些结果补充了[Sh,第十三章,\u00a74]中的结果。问题如下。假设V<\/jats:italic>\u22a8\u201cZFC+CH\u201d和r<\/jats:italic>是一个实数非inV<\/jats:italic>。必须V<\/jats:italic>[r<\/jats:italic>]\u22a8 CH?为了避免琐事,假设=。<\/jats:p>我们对这个问题的回答是否定的。特别是我们发现了成对的模型(W、 V<\/jats:italic>),以便W<\/jats:italic>\u22a8 ZFC+CH,V<\/jats:italic>=W<\/jats:italic>[r<\/jats:italic>],r<\/jats:italic>实数,=V<\/jats:italic>\u22a8\u00acCH(中文)。实际上,我们使用ZFC到\u201cZFC+找到了这样的对的谱,存在可测量的基数\u201d。基本上,作为一个解决方案,这对越好,我们就越需要假设才能构建它。<\/jats:p>[Sh,第十三章]中的相关结果表明,如果一对(内部模型)(W、 V<\/jats:italic>)满足(1)和(2),则在L<\/jats:italic>;如果另外V<\/jats:italic>\u22a8 2\u21350<\/jats:sub>2<\/jats:sub>然后为0#<\/jats:sup>存在;最后,如果(W、 V<\/jats:italic>)满足(1)、(2)和(3V<\/jats:italic>\u22a8 2\u2135<\/jats:sup>0<\/jats:sub>>\u2135\u03c9<\/jats:sub>,则有一个具有可测量基数的内部模型<\/jats:p>定义1。对于一对(W、 V)我们将考虑以下条件:(1)V<\/jats:italic>=W<\/jats:italic>[r<\/jats:斜体>],r<\/jats:italic>实数,=,W<\/jats:italic>\u22a8 ZFC+CH,但CH在中失败V<\/jats:italic><\/jats:p>(2)W<\/jats:italic>\u22a8 GCH<\/jats:p>(3)W和V具有相同的基数<\/jats:p>“,”DOI“:”10.2307\/2274270“,”type“:”journal-article“,”created“:{”date-parts“:[[2006,5,6]],”date-time“:”2006-05-06T22:10:48Z“,”timestamp“:1146953448000},”page“:“49”,“作者”:[{“给定”:“撒哈拉”,“family“:”Shelah“,”sequence“:”first“,”affiliation“:[]},{“given”:“Hugh”,“family”:“Woodin”,“sequence”:“additional”,“affiliation:[]}],“member”:“56”,“published-online”:{“date-parts”:[[2014,3,12]},“reference”:[{“key”:”S0022481200042456_ref003“,“doi-ased-by”:“publisher”,“doi”:“10.1007\/978-3-62-21 543-2“},{”键“:”S0022481200042456_ref001“,”doi-asserted-by“:”publisher“,”doi“:”10.1017\/CBO9780511629198“},{“key”:“S0022481200042456_ref002”,“首页”:“84”,“volume-title”:“数理逻辑和集合论的基础”,“author”:“Jensen”,“year”:“1970”}],“container-title“:[”符号逻辑杂志“],“original-tittle”:[],“language”:“en”,”link“:[{”URL“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200042456“,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2019,5,23]],“date-time”:”2019-05-23T19:10:49Z“timestamp”:1558638649000},“score”:1,“resource”:{“primary”:{“URL”:“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200042456\/type\/journal_article“}},“副标题”:[],“短标题”:[],“已发布”:{“日期部分”:[[1984,12]]},”references-count“:3,”journal-issue“:{”issue“:“4”,“published-print”:{-“日期部分456“],”URL“:“http://\/dx.doi.org\/10.2307\/2274270”,“关系“:{},”ISSN“:[”0022-4812“,”1943-5886“],”ISSN-type“:[{”value“:”0022-5812“,“type”:“print”},{”value“:”1943-58“,”type“:”electronic“}],“subject”:[],“published”:{“date-parts”:[[1984,12]}}}