{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,2,20]]，“日期-时间”：“2024-02-20T16:10:12Z”，“时间戳”：1708445412509}，“参考-计数”：9，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[{“开始”：{“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2384，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,9]}”，“abstract”：“”摘要<\/jats:title>让T是一阶算术语言中的递归理论。我们证明如果T扩展了：（a）无参数方案1<\/jats:sub>-最小化（加exp<\/jats:italic>）。或（b）无参数方案\u03a01</jats:sub>-归纳，则没有u03a31<\/jats:关于T<\/jats:italic>。因此，我们获得了Jeff Paris的一个未发表定理的新证明，即\u03a31<\/jats:sub>-关于的最大模型我<\/jats:bold>\u03940<\/jats:sub>+exp不满足\u03a3的方案1<\/jats:sub>-集合B<\/jats:bold>\u03a31<\/jats:sub><\/jats:p>“，”DOI“：”10.2178\/jsl\/1191333857“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:25:04Z“，”timestamp“：1198081504000}，”page“：“1072-1078”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“关于\u03a3的注释_{1<\/sub>-maximal models“]，”prefix“：”10.1017“，”volume“：”72“，”author“：[{”given“：“A.”，”family“：”Cord\u00f3n-Franco“，”sequence“：”first“，”affiliation“：[]}，{”给定“：“A”，“family”：“Fern\u00e1ndez-Margarit”，“sequence”：“additional”，“affiliance”：[]{“given”：“F.F.F.”，”“families“：”Lara-Mart\u00edn“，“sequence”：“additional”，“affiliation”：[]}]，“member”：“56”，“在线发布“：{“日期-部分”：[[2014,3,12]]}，“参考”：[{“键”：“S0022481200005235_ref009”，“首页”：“143”，“卷-时间”：“科学的逻辑、方法论和哲学VIII”，“作者”：“威尔基”，“年份”：“1989”}，{“按键”：“SO002248120005235_rf008”，”首页“285”，“卷-时间”，“逻辑座谈会77”，“作家”：“巴黎”，“年”：“1978”}，{“密钥”：“S0022481200005235_ref006“，”doi-asserted-by“：”crossref“，“doi”：“10.1093\/oso\/9780198532132.001.0001”，“volume-title”：“Peano算术模型”，“卷”：“15”，“作者”：“Kaye”，“年份”：“1991”}，{“key”：“S002248.1200005235_ ref004”，”doi-asserted-by“：“publisher”，《doi》：“10.1007\/978-3-62-22156-3”}、{“key”：“S0022481200005235_ref007”，“首页”：“1082”，“volume“：”53“，”author“：”Kaye“，”year“：”1988“，”journal-title“：”On parameter free induction schemas“}，{“key”：”S0022481200005235_ref002“，“first page”：“349”，“volume”：：“66”，“author”：“Adamowicz”，“year”：“2001”，“journal-title”：“存在封闭结构和G\u00f6del的第二不完全性定理”}，}“key:”S00228120005235_ref003“doi-asserted-by“：”publisher“，”doi“：”10.1002\/malq.200410034“}，{”key“：”S0022481200005235_ref001“，”首页“：”885“，”卷“：”56“，”author“：”Adamowicz“，”年份“：”1991“，”journal-title“：”On maximal theorys“}”，{“key”：“S002248.1200005235_ ref005”，“doi-assert-by”：“publisher”，”doi:“10.1007\/BFb0064082”}]，“container-title”：[“符号逻辑杂志”]，“原标题“：[]，”language“：”en“，”link“：[｛”URL“：”https://\\www.cambridge.org/core\\/services\/aop cambridge-core\\/content/view\\S0022481200005235“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2024,2,20]]，”日期时间“：”2024-02-20T15:41:17Z“，”timestamp“：1708443677000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005235\/type\/journal_article”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[2007，9]]}，‘references-count’：9，‘journal-issue’：{‘issue’：“3”，“published-print”：{日期部分“：[[2007,9]]}}，”alternative-id“：[”S0022481200005235“]，”URL“：”http://\/dx.doi.org\/10.2178\/jsl\/1191333857“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-4812'，”type“：”print“}，{“value”：“1943-5886'，”类型“：”electronic“}]，”subject“：[]，”published“：{“date-parts”：[[2007，9]]}}}