{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部件”:[[2022,4,1]],“日期-时间”:“2022-04-01T08:19:02Z”,“时间戳”:1648801142906},“参考-计数”:3,“出版商”:“剑桥大学出版社(CUP)”,“问题”:“3”,“许可证”:[{“开始”:}“日期-零件”:[[2014,3,12]],“时间”:“2014-03-12T00:00:00Z”,“时间戳”:1394582400000},“content-version”:“unspecified”,“delay-in-days”:10784,“URL”:“https:\/\/www.cambridge.org\/core\/terms”}],“content-domain”:{“domain”(域):[],“crossmark-restriction”(交叉标记限制):false},”short-container-title“:[”J.symb.log.“],”published-print“:{”date-parts“:[[1984,9]]}”,“abstract”(摘要):“”J.Barbanel[1]描述了由P上的正规超滤器诱导的初等嵌入所固定的基数类\u03ba假设\u03ba是超紧凑的。在本文中,我们将从较弱的假设中证明相同的结果,即\u03ba非常紧凑,超滤器很好<\/jats:p>我们一直在ZFC工作。我们的集合理论符号非常标准。特别是,如果X是一个集合,\u2223X<\/jats:italic>\u2223表示X和P(X)<\/jats:italic>表示的幂集X<\/jats:italic>。希腊字母表示序数。特别地\u03b3、u03ba、u03b7和\u03b3将表示基数。如果\u03ba和\u03bb<\/jats:italic>是基数,那么\u03bb<\/jats:italic><\u03ba定义为sup\u03b3<\u03ba<\/jats:italic><\/jax:sub>\u03b3型\u03b3<\/jats:sup><\/jax:italic>。基数求幂总是从顶部开始。因此,例如,2\u03bb表示2(\u03bb<\u03ba<\/jats:italic>)<\/jax:sup>。V表示所有集合的宇宙。如果M是ZFC的内部模型,\u2223X<\/jats:斜体>\u2223M和P(X)<\/jats:italic>M表示的基数X<\/jats:italic>英寸M和的幂集X<\/jats:italic>英寸M<\/jats:italic><\/jats:p>我们回顾了精细超滤器的基本事实和相应的基本嵌入。(有关详细信息,请参阅[2]。)<\/jats:p>定义。假设\u03ba和\u03bb是带有\u03ba<\/jats:italic>\u2264\u03bb<\/jats:italic>。然后,P(P)\u03ba<\/jats:sub>\u03bb<\/jax:italic>={X<\/jats:italic>\u2282\u03bb<\/jats:italic>\u2223\u2223X<\/jats:italic>\u2223<\u03ba<\/jats:italic>}<\/jats:p>值得注意的是\u2223P(P)\u03ba<\/jats:sub>\u03bb<\/jax:italic>\u2223=\u03bb<\/jats:italic><\u03ba<\/jats:italic><\/jax:sup><\/jats:p>“,”DOI“:”10.2307\/2274133“,”type“:”journal-article“,”created“:{”date-parts“:[[2006,5,6]],”date-time“:”2006-05-06T18:09:38Z“,”timestamp“:1146938978000},”page“::“49”,“作者”:[{”给定“:”Yoshihiro“,”family“:”Abe“,”sequence“:”first“,”affiliation“:[]}],”member“:”56“,”published-on-line“:{”date-parts“:[[2014,3,12]]},”reference“:[{”key“:”S0022481200042948_ref003“,”doi-asserted-by“:8_ref001“,”首页“:”84“,”卷“:”47“,”作者“:”巴巴内尔“,”年份“:”1982“,”journal-title“:”超紧基数、基本嵌入和不动点“},{“key”:“S0022481200042948_ref002”,“doi-asserted-by”:“publisher”,”doi“:”10.1016\/0003-4843(78)90031-1“}],“container-title”:[“journal of Symbolic Logic”],“original-tittle”:[],“language”:“en”,“link”:[{“URL”:“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200042948“,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2019,5,23]],“date-time”:”2019-05-23T15:48:31Z“timestamp”:1558626511000},“score”:1,“resource”:{“primary”:{“URL”:“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200042948\/type\/journal_article“}},“副标题”:[],“短标题”:[],“已发布”:{“日期-部件”:[[1984,9]]},”references-count“:3,”journal-issue“:{”issue“:“3”,”published-print“:”{“date-parts”:[1984,9]}}、“alternative-id”:[“S00224812000/424”948“],”URL“:”http://\/dx.doi.org\/10.2307\/2274133“,”关系“:{},”ISSN“:[”0022-4812“,”1943-5886“],”ISSN-type“:[{”value“:”0022-5812“,“type”:“print”},{”value“:”1943-58“,”type“:”electronic“}],“subject”:[],“published”:{“date-parts”:[[1984,9]]}}}}