{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11,21]]，“日期-时间”：“2023-11-21T13:19:54Z”，“时间戳”：1700572794726}，“引用-计数”：19，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[[1991,11]]，”日期-时间“：”1991-11 1-01T00:00:00Z“，”时间戳“：688953600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：7929，“URL“https:\\/www.elssevier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[1991,11]]}，”DOI“：”10.1016\/0168-0072（91）90096-5“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,26]]，”date-time“：”2002-07-26T03:38:59Z“，”timestamp“：1027654739000}，50“，”源“：”交叉参考“，“is-referenced-by-count”：23，“title”：[“初等数论中的组合原理”]，“prefix”：“10.1016”，“volume”：“55”，“author”：[{“给定”：“Alessandro”，“family”：“Berarducci”，“sequence”：“first”，“affiliation”：[]}，{“give”：“Benedetto”“”：“10.1016/0168-0072（91）90096-5_BIB1”，“系列标题”：“讲义”，“文章标题”：“有界算术，Stud.证明理论”，“作者”：“Buss”，“年份”：“1986”}，{“密钥”：“10.1016/0168-0072（91）90096-5_BIB2”，“文章标题”：“费马最后定理”，“卷”：“50”，“作者”：“Edwards”，“年份”：“1977”}，{“密钥”：“10.1016/0168-0072（91）90096-5_B IB3”，“首页”：“187”，“article-title”：“皮亚诺算术和MRDP定理的片段”，“volume”：“30”，“author”：“Gaifman”，“year”：“1982”}，{“key”：”10.1016\/0168-0072（91）90096-5_BIB4_1“，”volume“：”volume“，1“，”author“：”Gauss“，”year“：”1807“}，{”key“：”10.1016\/0168-0072（91）90096-5_BIB4_3“，“卷”：“第1卷”，“作者”：“高斯”，“年份”：“1966”}，{“键”：“10.1016\/0168-0072（91）90096-5_ BIB5”，“首页”：“1”，“文章标题”：“递归函数的某些类”，“卷“：“IV”，“作家”：“Grzegorczyk”，“年”：“1953”，“期刊标题”：”Rozprawy Mat.“}，}“键“：”10.1016\/016 8-0072（91）90096-5_BIB6“，“系列标签”：”《数论导论》，“作者”：“哈代”，“年份”：“1979”}，{“关键”：“10.1016\/0168-0072（91）90096-5_BIB7”，“首页”：“43”，“文章标题”：“弱系统的力量”，“作者“：“麦金太尔”，“年”：“1986”}、{“问题”：“1”，“关键”:“10.1016 \/0168-0072（91）900096-5_BAB8”，“doi-asserted-by”：“crossref”，“第一页“：”57“，”doi“：”10.1016\/0168-0072（89）90025-0“，“article-title”：“开放诱导模型中的素数及其剩余环”，“volume”：“43”，“author”：“Macintyre”，“year”：“1989”，“journal-title“：Ann.Pure Appl。逻辑“}，{“键”：“10.1016\/0168-0072（91）90096-5_BIB9”，“doi-asserted-by”：“crossref”，“首页”：“494”，“doi”：“10.2307\/2269958”，“文章标题”：“算术的存在性和可行性”，“卷”：“36”，“作者”：“Parikh”，“年份”：“1971”，”日志标题“J.符号逻辑”}IB10“，“首页”：“317”，“文章标题”：“有界算术中的计数问题”，“卷”：“1130”，“作者”：“巴黎”，“年份”：“1985”}，{“问题”：“4”，“关键”：“10.1016\/0168-0072（91）90096-5_BIB11”，“doi-asserted-by”：“crossref”，“首页”：“1235”，“doi”：“10.2307\/2274618”，“文章标题”：“鸽洞原理的可证明性和无穷多素数的存在性”，“体积”：“53”，“作家”：“”《巴黎》，“年份”：“1988”，“期刊标题”：“符号逻辑”}，{“问题”：“4”，“关键”：“10.1016\/0168-0072（91）90096-5_BIB12”，“第一页”：“667”，“文章标题”：“有界算术公式的幂的定义”，“卷”：“24”，“作者”：“Pudl\u00e1k”，“年份”：“1983”，“期刊标题”：“Comment.Math.Univ.Carolin”}，{“关键”：“10.1016\/0168-0072（91）90096-5_BIB13“，”doi-asserted-by“：”crossref“，”first page“：”139“，“doi”：“10.1090\/S0002-9947-1963-0158822-2”，“article-title”：“可预测计算函数的类”，“volume”：“106”，“author”：“Ritchie”，“year”：“1963”，“journal-title“：”Trans。阿默尔。数学。Soc.“}，{”key“：”10.1016\/0168-0072（91）90096-5_BIB14_1“，”series-title“：”Hermann series M\u00e9thodes“，“article-title”：“Th\u00e 9orie Alg\u00e_9brique des Nombres”，“author”：“Samuel”，“year”：“1967”}，“key”：“10.1016\/0168-0074（91）900096-5_BAB14_2”，“series-tile”：”Hemann series M\ u00e9“thodes”，“articl-title”：“数论代数”，“author”：“Samuel”，“年份：“1971”}，{“issue”：“3”，“key”：“10.1016\/0168-0072（91）90096-5_BIB15”，“doi-asserted-by”：“crossref”，“first-page”：“261”，“doi”：“101016\/0168-0072（87）90066-2”，“article-title”：“On the scheme of induction for bounded算术公式”，“volume”：}，{“键”：“10.1016\/0168-0072（91）90096-5_BIB16“，“series-title”：“博士论文”，“article-title”：“逻辑和数论中的一些问题及其联系”，“author”：“Woods”，“year”：“1981”}]，“container-title“：[“Pure and Applied logic年鉴”]，“原文标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0168007291900965？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0168007291900965？httpAccept_text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“日期”：[[2019,4,13]]，“date-time“：”2019-04-13T07:53:25Z“，”timestamp“：1555142005000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0168007291900965”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[1991,11]]}，‘references-count’：19，‘日志发布’：{‘发布’：“1”，“published-print”：{“date-parts”：[[1991,11]]}}，“alternative-id“：[”0168007291900965“]，“URL”：“http://\/dx.doi.org\/10.1016\/0168-0072（91）90096-5”，“关系”：{}，“ISSN”：[“0168-0072”]，“ISSN-type”：[{“值”：“0168-20072”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[1991,11]]}}}}