{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,1]]，“日期-时间”：“2024-04-01T17:50:53Z”，“时间戳”：1711993853372}，“参考-计数”：6，“出版商”：“Springer Science and Business Media LLC”，“发行”：“1”，“许可证”：[{“开始”：}“日期-零件”：[[1983,12,1]]，”日期-时间“：”1983-12-01T00:00:00Z“，“timestamp”：439084800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Arch-math Logik“]，”published-print“：{”date-parts“：[[1983,12]}”，“DOI”：“10.1007\/bf02023014”，“type”：“”journal-article“，”created“：{”date-parts“：[[2005,8,12]]，“date-time”：“2005-08-12T12:01:33Z”，“timestamp”：1123848093000}，“page”：“65-77”，“source”：”Crossref“，”is-referenced-by-count“：40，“title”：[“Feferman理论T 0的有序证明”]，“prefix”：“10.1007”，“volume”：《23》，“author”：[{“given”：‘Gerhard’，“family”：“J\u00e4ger”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“BF02023014_CR1”，“volume-title”：“数学课堂笔记，第500卷”，“author”：“W.Buchholz”，“year”：“1975”，“unstructured”：“Buchho尔z，W.：Normalfunktitonen und konstruktive Systeme von Ordinalzahlen。基尔1974年证明理论研讨会。收录：数学课堂讲稿，第500卷。柏林，海德堡，纽约：Springer 1975。”}，{“key”：“BF02023014_CR2”，“doi-asserted-by”：“crossref”，“first page”：”118“，”doi“：”10.2307\/2271954“，”volume“：”43“，”author“：”W.Buchholz“，”year“：”1978“，”unstructured“：”Buchhol z，W.，Pohlers，W.：超限迭代归纳定义形式理论的可证明良序。J。赛姆布。Logic43，118\u2013125（1978）。，“新闻标题”：“J.Symb。逻辑“}，{“key”：“BF02023014_CR3”，“volume-title”：“数学课堂讲稿，第450卷”，“author”：“S.Feferman”，“year”：“1975”，“unstructured”：“Feferman，S.：显式数学的语言和公理。代数和逻辑。in：数学课堂讲义，第450册。柏林，海德堡，纽约：Springer 1975。“}，{“key”：“BF02023014_CR4”，“volume-title”：“函数和类的构造理论。逻辑座谈会78”，“author”：“S.Feferman”，“year”：“1979”，“unstructured”：“Feferman，S.：函数和类构造理论。逻辑学座谈会78。阿姆斯特丹：North-Holland 1979。“}，{“key”：“BF02023014_CR5”，“unstructured”：“J\u00e4ger，G.，Pohlers，W.：可接受的证明理论（准备中）。”}，}，“key“：”BF02023014 _CR6“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-3642-66473-1“，“volume-title”：“证明理论”，“author”：“K.Sch\u00fctte”，“year”：“1977”，“非结构化”：“”Sch\u00fctte，K.：证明理论。柏林，海德堡，纽约：施普林格1977.“}]，“容器标题”：[“Archiv f\u00fcr Mathematicsche Logik und Grundlageforschung”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http:\/\/link.Springer.com\/content/pdf\/10.1007\/BF020203014.pdf”，“内容类型”：“应用程序\/pdf”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}，{“URL“：”http://\/link.springer.com/article\/10.1007\/BF02023014\/fulltext.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/lindex.springer\com/content\/pdf\/10.10007\/BF0223014”，“content-type:”unspecified“，”内容-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2019,5,13]]，“date-time”：“2019-05-13T22:39:56Z”，“timestamp”：1557787196000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com\/10.1007\/BF02023014“}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[1983,12]}，‘references-count’：6，“journal-count”问题“：{”问题“：“1”，“published-print”：{“date-parts“：[[1983,12]}}，”alternative-id“：[”BF02023014“]，”URL“：”http://\/dx.doi.org\/10.1007\/BF02023014”，“关系”：{}，“ISSN”：[“0933-5846”，“1432-0665”]，“ISSN-type”：[{“value”：“09335-5846”，“type”:“print”}，{“值”：“1432-00665”，“类型”：“电子”}]，“主题”：[]，“已发布”：{“日期部分”：[[1983,12]]}}