{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,3,31]]，“日期-时间”：“2024-03-31T18:56:32Z”，“时间戳”：1711911392110}，“参考-计数”：11，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“2”，“许可证”：[{“开始”：{-date-parts”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2476，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,6]}”，“abstract”：“”摘要<\/jats:title>在[2]中，约翰·伯吉斯描述了弗雷格逻辑的谓词版本，并提出了寻找其精确算术强度的问题。我在这里证明这种最简单的理论PV<\/jats:italic>与罗宾逊的算术理论等价问题<\/jats:italic><\/jats:p>“，”DOI“：”10.2178\/jsl\/1185803626“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:24:48Z“，”timestamp“：1198081488000}，”page“：“619-624”，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“Burgess\u2019PV是Robinson 2019sQ<\/i>“]，”prefix“：”10.1017“，”volume“：”72“，”author“：[{”given“：“Mihai”，”family“：”Ganea“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2014,3,12]]}，”reference“:[{“key”：“S0022481200005387_ref007”，”doi-asserted-by“：“publisher”，“doi”：“10.1007\/978-3-662-22156-3“}，{“键”：“S0022481200005387_ref008”，“doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511529948“}，{“key”：“S0022481200005387_ref009”，“doi-assert-by”：“publisher”，“doi”：“10.1515\/9781400858927”}，“key“：”S0022481 200005387_ ref005“，“首页”：“590\u2013624”，“卷时间”：“牛津数学和逻辑哲学手册”，“作者”：“Feferman”，“年份”：“2005”}，{“关键字”：“S0022481200005387_ref010”，“非结构化”：“Visser A.，预测Frege层次结构，预印本（2006年9月），42页，在线阅读：http://www.phil.uu.nl\/prints\/lgps\/index.html。“}，{”key“：”S0022481200005387_ref004“，”doi-asserted-by“：”crossref“，“volume-title”：“可计算性\u2014递归函数理论简介”，“author”：“Cutland”，“year”：“1980”，“doi”：“10.1017\/CBO9781139171496”}，“key”：“S0022481 200005387_ ref001”，“doi-assert-by”：“publisher”，“doi”：”10.1017\/CBO9781 139164931“}，{“key”：“S0022481200005387_ref006”，“首页“：”61\u201381“，”volume-title“：”数学历史与哲学“，”卷“：”XI“，”author“：”Goldfarb“，“year”：“1988”}，{“key”：“S0022481200005387_ref011”，“first page”：”329\u2013342“，”volume-title:“Logic Colloquium\u201984”，“author”：“Wilkie”，“year:”1986“}，”{“密钥”：“SO0022481250005387_ref003”，”first page:““183\u2013208”，“卷时间”：“扩散、量子理论和基本初等数学”，“卷”：“47”，“作者”：“巴斯”，“年份”：“2006”}，{“密钥”：“S0022481200005387_ref002”，“doi-asserted-by”：“crossref”，”卷时间“：“修复弗雷格”，“作家”：“伯吉斯”，年：“2005”，“doi”：“10.1515\/978069118768”}]，“容器时间”：[“符号逻辑杂志”]，“原始标题”：[]，“语言”：“en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005387“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,4,29]]，”date-time“：“2020-04-29T17:50:54Z”，“timestamp”：1588182654000}，“score”：1，“资源”：{primary“：{”URL“：”https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005387\/type\/journal_article“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[2007,6]]}，“references-count”：11，“journal-issue”：{“issue”：“2”，“published-print”：{date-parts“：[2007,6]]}}”，“alternative-id“：[”S0022481200005387“]，”URL“：”http:\/\/dx.doi.org\/10.2178\/jsl\/1185803626“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”值“：”0022-48012“，“type”：“print”}，{”价值“：”1943-58“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2007,6]]}}}}