{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11,13]]，“日期-时间”：“2023-11-13T18:41:06Z”，“时间戳”：1699900866513}，“参考-计数”：14，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：4394，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2002,3]}”，“abstract”（摘要）：“摘要<\/jats:title>在给出了一个观察强制公理的一般设置之后，我们给出了一系列广义有界强制公理，这些公理在一致性强度上逐级对应于Mahlo下大基数自然层次的成员。我们给出了广义有界强迫公理模型的一般构造。然后我们考虑一类偏序集的有界强迫公理\u03931<\/jats:sub>这样，让\u03930<\/jats:sub>是所有平稳y-set-preserving偏序集的类，可以证明如下：（a） \u03930<\/jats:sub>\u2286\u03931<\/jats:sub>，<\/jats:p>（b） \u03930<\/jats:sub>=\u03931<\/jats:sub>当且仅当NS<\/jats:italic>\u03c91<\/jats:sub>是\u21351<\/jats:sub>-密实<\/jats:p>（c） 如果P<\/jats:italic>\u2209\u03931<\/jats:sub>，然后BFA<\/jats:italic>({P<\/jats:italic>}）失败<\/jats:p>我们称之为\u0393的有界强制公理1<\/jats:sub>最大有界强制公理(MBFA<\/jats:italic>）。最后我们证明MBFA相对于不可访问的\u03a3的一致性2<\/jats:sub>-校正基数，它是强紧基数的极限<\/jats:p>“，”DOI“：”10.2178\/jsl\/119015034“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,13]]，”date-time“：”2007-12-13T14:12:10Z“，”timestamp“：1197555130000}，”page“：67“，”作者“：[{”给定“：”大卫“，”家庭“：”Asper\u00f3“，“sequence”：“first”，“affiliation”：[]}]，“member”：“56”，“published-on-line”：{“date-parts”：[[2014,3,12]]}，“reference”：[{“key”：“S0022481200009890_ref012”，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/conm\/031\/763902”}，{“key”：Todor\u010devi\u0107 S.，《PFA的局部反射和碎片》，1999年，研讨会笔记。“}，{”key“：”S0022481200009890_ref010“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3662-12831-2”}，“key”：“S0022481 200009890_ ref001”，“unstructured”：“Asper\u00f3 D.，有界强制公理和连续统，博士论文，U.Barcelona，2000。”}\/978-3-662-21723-8“}，{”key“：”S0022481200009890_ref003“，”unstructured“：”Bagaria J.and Friedman S.，Generic absoluteness，to appeared in Annals of Pure and Applied Logic。“}，{”key“：”S0022481200009890_ref006“，”doi-asserted-by“：”publisher“，“doi”：“10.2307\/1971415”}，“key”：“S0022481 200009890_ ref007”，“首页”：“58”，“卷”：“60”，“作者”：“Goldstern”，“年份”：“1995”，“journal-title”：“有界真值强制公理”}理论。独立性证明简介“author“：”Kunen“，”year“：”1980“}，{”key“：”S0022481200009890_ref002“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/s001530050154”}，“key”：“S0022481 200009890_ ref014”，“doi-assert-by”：“publisher”，“doi:”10.1515\/97804737“}”，{“卷”：“41”，“作者”：“Baumgartner”，“年份”：“1976”，“新闻标题”：“添加一个封闭的无界集“}，{“key”：“S0022481200009890_ref009”，“unstructured”：“宫本茂T.，PFA的局部反射基数和弱段，预印本。”}，}“key”：“SO002248120009890_rf011”，“非结构化”：“Stavi J.和V\u00e4\u00e4n\u00e4 nen J.，连续统的反射原理，预印版。”}]，“container-title”：[“符号逻辑杂志“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200009890“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：”{“date-parts”：[2019,5,6]]，“date-time”：“”2019-05-06T21:33:59Z“，”timestamp“：1557178439000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S0022481200009890\/type\/journal_article“}”，“subtittle”：[]，“shortitle”：[[]，“issued”:{“date-parts”：[[2002,3]}，“references-count”：14，“journal-issue”：{“issue”：“1“，”published-print“：{”date-parts“：[[2002,3]]}”}，“alternative-id”：[“S0022481200009890”]，“URL”：“http://\/dx.doi.org\/10.2178\/jsl\/119015034”，“relationship”：{}，“ISSN”：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-4812'，”type“：”print“}，”value“：“1943-5886'，”类型“：”电子“}]，”subject“：[]，”published“：{”日期部分“：[[2002,3]}}}