{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,9,29]]，“日期-时间”：“2023-09-29T17:22:52Z”，“时间戳”：1696008172664}，“参考-计数”：4，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“时间“：”2014-03-12T00:00:00Z“，”时间戳“：1394582400000｝，“内容版本”：“未指定”，“延迟天数”：2568，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J.symb.log.”]，“已发布的印刷品”：｛“日期部分”：[[2007,3]]｝，“摘要”：“摘要<\/jats:title>我们给出了在简单类型理论模型上构造类型移位自同构的一个充要条件(TST<\/jats:bold>）。也就是说，如果每一个n<\/jats:italic>\u2265 1有一个模型地面模型中的TST包含n<\/jats:italic>-可扩展相干对，则存在泛型扩展M<\/jats:italic>[G]，共M<\/jats:italic>，包含的模型TST<\/jats:bold>具有类型移位自同构，因此M<\/jats:italic>[G]包含一个NF模型。反之亦然。还证明了存在模型包含1-可扩展相干对的TST<\/jats:bold><\/jats:p>“，”DOI“：”10.2178\/jsl\/1174668396“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:24:33Z“，”timestamp“：1198081473000}，”page“：“285-304”，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“NF一致性问题的减少”]，“前缀”：“10.1017”，“volume”：“72”，“作者”：[{“给定”：Athanassios“，”family“：”Tzouvaras“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-on-line“：{”date-parts“：[[2014,3,12]]}，”reference“：[{”key“：”S0022481200005600_ref003“，”unstructured“：”Grishin V.N.，集合论中的分层方法，博士论文，莫斯科大学，1972年，俄语首页“：”1387\u20131390“，”article-title“：”奎因NF系统片段的一致性“，”volume“：”10“，”author“：”Grishin“，”year“：”1969“，”journal-title”：“苏维埃数学Doklady”}，{“key”：“S0022481200005600_ref004”，“first page”：”116\u2013124“，”volume-title：“国际会议记录，斯坦福，1960”，”author“：”Specker“，”年份“：”1962“}，{“key”：“S0022481200005600_ref001”，“volume-title”：“集合论与普适集合”，“卷”：“20”，“author”：“Forster”，“year”：“1992”}]，“container-title“：[”符号逻辑杂志“]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view \/S0022481200005600“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,2]，”date-time“：“2019-05-02T00:10:41Z”，“timestamp”：1556755841000}，“score”：1，“resource”：{“primary”:{“URL”：“https:\//www.cambridge.org\/core\/product\/identifier \/S0022481200005600\/type\/journal_a文章“}}”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2007,3]]}，”引用计数“：4，”日志发布“：}”问题“：“1”，”发布发布“：｛”日期部件“：[[2007,3]]}}，“alternative-id”：[“S0022481200005600”]，“URL”：“http://\/dx.doi.org\/10.2178\/jsl\/1174668396”，“关系”：{}，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“value”：“0022-48012”，”type“：”print“}，{“值”：“1943-5886”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2007,3]]}}