｛“状态”：“确定”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,3,31]，“日期-时间”：“2022-03-31T02:00:12Z”，“时间戳”：1648692012230｝，“引用计数”：7，“发布者”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[｛“开始”：｛“日期部分”：[[2014,3,12]]，“日期-时间”：“2014-03-12T00:00Z”，“时间戳”：1394582400000｝，“内容版本”：“未指定”，“延迟天数”：2568，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J.symb.log.”]，“已发布的印刷品”：｛“日期部分”：[[2007,3]]｝，“摘要”：“摘要<\/jats:title>我们给出了四个Kreisel猜想错误的理论示例：（1）理论PA（-）<\/jats:italic>通过在语言中添加函数符号减号\u2018\u2014\u2019获得PA和公理\u2200x\u2200y\u2200 z(x<\/jats:italic>\u2212y<\/jats:italic>=z）\u2261(x<\/jats:斜体>=y<\/jats:italic>+z<\/jats:italic>\u2228(x<\/jats:italic><y<\/jats:italic>\u2227z<\/jats:italic>=0））；（2） 理论整数的L<\/jats:italic>；（3） 理论PA（q）<\/jats:italic>通过添加功能符号获得q<\/jats:italic>（属于arity\u2265 1）到PA<\/jats:italic>，不考虑q<\/jats:italic>；（4） 理论包含一元谓词的PA（N）<\/jats:italic>N（x）表示2018年x是一个自然数<\/jats:italic>\u2019。在第6节中，我们提出了一个反例来反驳所谓的Sharpened Kreisel猜想<\/jats:p>“，”DOI“：”10.2178\/jsl\/1174668388“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T11:24:33Z“，”timestamp“：1198063473000}，”page“：“123-137”，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“理论非常接近PA<\/i>其中Kreisel猜想为false“]，”prefix“：”10.1017“，”volume“：”72“，”author“：[{”given“：“Pavel”，”family“：”Hrube\u0161“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：“：”publisher“，”doi“：”10.1090\/S0002-9947-1973-0432416-X“}，{“key”：“S0022481200005521_ref004”，“doi-asserted-by”：“publisher”，”doi“：”10.21099\/tkbjm\/1496158798“}，{”key“：”S0022481 200005521_ ref003“，”doi-assert-by“：”publisher“，“doi”：“10.1007\/BF01625836”}，“key、证明理论和计算复杂性”，“作者”：“Baaz”，“年份”：“1993”}，{“key”：“S0022481200005521_ref002”，“首页”：“113\u2013129”，卷：“40”，“author”：“Friedman”，“年份”：“1975”，“journal-title”：“数学逻辑中的102个问题”}：“Yukami”，“year”：“1978”，“journal-title”：“Tsukuba journal of Mathematics”}，{“key”：“S0022481200005521_ref007”，“doi-asserted-by”：“publisher”，”doi“：”10.4288\/jafpos1956.6.195“}]，”container-title“：[”符号逻辑杂志“]，”original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005521”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[[2019,5,1]]，“日期-时间”：“2019-05-01T20:11:17Z”，“时间戳”：1556741477000}，“分数”：1，“资源”：{“主要：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005521\/type\/journal_article”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2007,3]]}，”references-count“：7，”journal-issue“：{”issue“：”1“，”published-print“：”{“date-parts”：[2007,3]}}、“alternative-id”：[“S002244”81200005521“]，”网址“：“http://\/dx.doi.org\/10.2178\/jsl\/1174668388”，“关系”：{}，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“值”：“0022-5812”，”type“：”print“}，{“value”：“1943-58”，”类型“：”electronic“}]，“主题”：[]，“发布”：{“日期段”：[[2007,3]]}}}}