{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,5]]，“日期-时间”：“2022-04-05T17:41:52Z”，“时间戳”：1649180512669}，“引用-计数”：14，“发布者”：“爱思唯尔BV”，“问题”：“9”，“许可证”：[{“开始”：{:“日期-零件”：[2014,9,1]]，”日期-时间“：”2014-09-01T00:00:00Z“，“时间戳”：1409529600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2018,9,1]]，“date-time”：“2018-09-01T00:00:00Z”，“timestamp”：153576000000}，“content-version”：“vor”，“delay-in-days”：1461，“URL“https:\\/www.elssevier”。com/open-access\/userlicense\/1.0\/“}]，“出资人”：[{“DOI”：“10.13039\/501100002924”，“name”：“FEDER”，“doi-asserted-by”：“publisher”，“adward”：[“MTM2008-06435”]，“id”：[{“id”:“10.13029\/5011000002924”，“id type”：“doi”，“asserted by”：“publisher”}]}，{“name”:“Ministerio de Ciencia e Innovaci\u00f3n，西班牙政府”，“award”：[”MTM2011-26840“]}]，“content-d”域“：{”域“：[”elsevier.com“，”sciencedirect.com“]，“crossmark-restriction”：true}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2014,9]]}，”DOI“：”10.1016\/j.apal.2014.04.012“，”type“：”journal-article“，”created“：{”date-part“：[2014,5,15]]，”date-time“：”2014-05-15T00:30:45Z“，”timestamp“：1400113845000}“page”：“1429-1444”，“更新策略”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy”，“source”：“Crossref”、“is-referenced-by-count”：1，“title”：[“Local induction and provable total computable functions”]，“prefix”：“10.1016”，“volume”：”165“，“author”：[{“给定”：“Andr\u00e9s”，“family”：“Cord\u00f3n-Franco”，“sequence”：“first”，“affiliation”：[]}，{“given”：F.F\u00e9lix“，”家族“：“Lara Mart\u00edn”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.apal.2014.04.012_br0010”，“doi asserted by”：“crossref”，“首页”：“219”，“doi”：“10.1016\/S0168-0072（02）00030-1”，“文章标题”：“普遍理论的饱和模型”，“卷”：“118”，“作者”：“Avigad”，“年份”：“2002”，“期刊title”：“安。纯应用程序。逻辑“}，{”key“：”10.1016\/j.apal.2014.04.012_br0020“，”doi-asserted-by“：”crossref“，”first page“：“193”，”doi“：”101016\/S0168-0072（96）00045-0“，“article-title”：“归纳规则、反射原理和可证明递归函数”，“volume”：“85”，“author”：“Beklemishev”，“year”：“1997”，“journal-title“：”Ann.Pure Appl.Logic“}”，{“key”：”10.1016\/j.apal.2014.04.012_br0030“，”doi断言者“：”crossref“，”第一页“：”275“，”doi“：”10.1007\/s01530050099“，”文章标题“：”集合的证明论分析“，”卷“：”37“，”作者“：”贝克列米舍夫“，”年份“：”1998“，”期刊标题“：”拱门“。数学。逻辑“}，{”key“：”10.1016\/j.apal.2014.04.012_br0040“，”doi-asserted-by“：”crossref“，”first page“：“13”，”doi“：”101016\/S0304-3975（98）00305-3“，”article-title“：”无参数归纳和可证明总可计算函数“，”volume“:”224“，”author“：”Beklemishev“，”year“：”1999“，”journal-title”：“Theoret.Compute.Sci.”}，}“key”：“10.1016\/j.apal.2014.04.012_br0050“，“series-title”：“第九届国际逻辑、方法论和科学哲学大会论文集”，“首页”：“29”，“article-title”：“Peano算术的见证函数方法和可证递推函数”，“author”：“Buss”，“year”：“1994”}，{“key”：”10.1016\/j.apal.2014.040.12_br0060“，”series-title“：“弱算术研究”，“第一页”：“49”，“article-title”：“关于无参数\u03a0n-induction的守恒结果”，“作者”：“Cord\u00f3n-Franco”，“年份”：“2010”}，{“key”：“10.1016\/j.apal.2014.04.012_br0070”，“doi-asserted-by”：“crossref”，“首页”：”505“doi”：“101007\/s00153-003-017-8”，“article-tited”：“归纳、最小化和收集\u0394n+1（T）-公式”，“卷”：“43”，“作者”：“Fern\u00e1ndez-Margarit”，“年份”：“2004”，“期刊标题”：“Arch。数学。逻辑“}，{“key”：“10.1016\/j.apal.2014.04.012_br0080”，“doi-asserted-by”：“crossref”，“article-title”：“一阶算术的元数学”，“author”：“H\u00e1jek”，“year”：“1993”，“doi”：“101007\/978-3662-22156-3”}，“{”key“10.1016”：“j.apal.2014.04.012-br0090”，“series-title”：《丢番图和无参数归纳法》，“author”：“Kaye”，“year”：“1987”}，{key“：”10.1016\/j.apal.2014.04.012_br0100“，”doi-asserted-by“：”crossref“，”first-pages“：”1082“，”doi“：”101017\/S0022481200027948“，”article-title“：”On parameter free induction schemas“，“volume”：“53”，“author”：“Kaye”，“year”：“1988”，“journal-title”：“j.Symbolic Logic”}，{“key”：”10.106\/j-apal.2014.012_br0110“，“doi-title”asserted-by“：”crossref“，”首页“：”81“，”DOI“：”10.4064\/fm-133-1-81-95“，”article-title“：”I\u2212\u03a3n中可证明的函数总数“，”volume“：”132“，”author“：”Ratajczyk“，”year“：”1989“，”journal-title”：“Fund。数学。“}，{”key“：”10.1016\/j.apal.2014.04.012_br0120“，”article-title“：”Subrecursion.Functions and Hierarchies“，”volume“：“vol.9”，“author”：“Rose”，“year”：“1984”}，”{“key”：“10.1016//j.apal.2014.04.012 _br0130”，“doi-asserted-by”：“crossref”，“first page”：”409“，”doi“：”101007\/BF01621477“，”article-titel“：“Herbrand分析”，“卷”：“30”，“作者”：“Sieg”，“年份”：“1991年，“新闻标题”：“Arch。数学。逻辑“}，{”key“：”10.1016\/j.apal.2014.04.012_br0140“，”doi-asserted-by“：”crossref“，”first page“：“942”，“doi”：“10.2307\/2275794”，“article-title”：“多项式有界算术注释”，“volume”：“61”，“author”：“赞比拉”，“year”：“1996”，“journal-title“j.Symbolic Logic”}]，“containerti-title”：[“纯逻辑和应用逻辑年鉴”]，“origin”al-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0168007214000438？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII:S01168007214000438？httpAccess=text\/plain”，“content-t”type“：”text\/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：：[]，“已发布”：{“日期部分”：[[2014,9]]}，“references-count“：14，”journal-issue“：{”issue“：“9”，“published-print”：{“date-parts”：[[2014,9]]}}，“alternative-id”：[“S0168007214000438”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.apal.2014.04.012”，“relation”：{}，”ISSN“：[”0168-0072“]，”ISSN-type“：[{”value“：”0168-20072“，”type““print”}]，“subject”：[]，“published”：{“date-parts”：[[2014,9]]}，“assertion”：[{value“：”Elsevier“，”name“：”publisher“，”label“：”本文由“}维护，”{“value”：“局部归纳和可证明的总可计算函数”，“name”：“articletitle”，“label”：“article Title”}，{“value”：“Pure and Applied Logic年鉴”，“name:”journaltitle“，”标签“：”Journal Title“}articlelink“，”label“：”CrossRef DOI link to publisher maintained version“}，{”value“：”article“，”name“：”content_type“，”标签“：”content-type“}、{”value“：“Copyright\u00a9 2014 Elsevier B.V.保留所有权利。”，“name”：“Copyright”，“label”：“Covery”}]}