{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T14:09:42Z”，“时间戳”：1726150182719}，“出版商位置”：“查姆”，“参考计数”：19，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“类型”：”打印“，“值”：“9783030930998”}{“type”：“电子”，“value”：“9783030931001”}]，“license”：[{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}2-16T00:00:00Z“，”时间戳“：1639612800000}，”内容版本“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\\/www.spring.com/tdm”}16]]，“日期时间”：“2021-12-16T00:00:00Z”，“时间戳”：1639612800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2022]}，”DOI“：”10.1007\/978-3-030-93100-1_5“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“时间戳”：1639609346000｝，“页面”：“52-69”，“更新策略”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，“被计数引用”：0，“标题”：[“超算术蠕虫大战”]，“前缀”：“10.1007”，“作者”：[{“ORCID”：“http:\/\/ORCID.org/0000-0001-8604-4183”，“已验证的ORCID”：false，“给定”：“David”，“family”：“Fern\u00e1ndez-Duke”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”：“http://\ORCID.org\/00000-0002-2831-0575”，“authenticated-ORCID”：false，“given”：”Konstnatinos“，”family“：”Papafilippou“，”sequence“：”additional“，”affiliance“：[]{”ORCID“：”http://\orchid.org\/O0000-0001-9590-5045“，”authentimated-or cid“：false，”给定“：”Joost J“，“family”：“Joosten”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2021,12,16]]}，“reference”：[{“key”：“5_CR1”，”doi-asserted-by“：”publisher“，”first page“：”193“，“doi”：“10.1016\/S0168-0072（96）00045-0”，《卷》：“85”，“author”：“LD Beklemishev”，“年份”：“1997年”，“非结构化”：“Beklemishev，L.D.：归纳规则、反射原理和可证明递归函数。Ann.Pure Appl.Log.85，193\u2013242（1997）”，“journal-title”：“Ann.Pure-Appl.Log.”}，{“key”：“5_CR2”，“doi-asserted-by”：“publisher”，“first-page”：“103”，“doi”：“10.1016\/j.apal.2003.11.030”，“volume”：：“Beklemishev，L.D.：可证明性代数和证明理论序数，I.Ann.Pure Appl.Log.128103\u2013124（2004）”，“日记标题”：“Ann.Pure Appl.Log.”}，{“问题”：“2”，“密钥”：“5_CR3”，“doi-asserted-by”：“publisher”，“首页”：“3”，”doi：“10.4213\/rm1401”，“卷”：“60”，“作者”：“LD Beklemishev”，“年份”：“2005”，“非结构化”：“Beklemishev，L.D.：形式算术中的反射原理和可证明代数。Uspekhi Matematicheskikh Nauk 60（2），3\u201378（2005）。（俄语）。英语翻译。in：俄语数学调查60（2：“541”，“DOI”：“10.1007\/s11225-013-9490-7”，“volume”：“102”，“author”：“LD Beklemishev”，“year”：“2014”，“unstructured”：“Beklemishev，L.D.，Fern\u00e1ndez-Duque，D.，Joosten，J.J.J.J.：关于线性有序模态的可证明逻辑。Stud.Logica.102，541\u2013566：“Beklemishev，L.D.，Pakhomov，F.N.：迭代真值理论的反射代数和守恒结果。arXiv-arXiv:1908.10302[math.LO]（2019）”}，{“问题”：“3”，“键”：“5_CR6”，“doi-asserted-by”：“出版商”，“首页”：“787”，“doi”：“10.1017\/jsl.2017.30”，“卷”：“82”，“作者”：“A Cord\u00f3n Franco”，“年份”：“2017”，“非结构化”：“Cord\u00f3n Franco，A.，Fern\u00e1ndez-Duque，D.，Joosten，J.J.，Lara Mart\u00edn，F.：通过超限反射的预测性。J.Symb.Log.82（3），787\u2013808（2017）”，“新闻标题”：“J.Symp.Log.”}，{“问题”：“5\u20136”，“关键字”：“5-CR7”，“doi-asserted-by”：“出版商”，“首页”：“753”，“doi”：“10.1 007\/s00153-018-0657-9“，”卷“：”58“，”作者“：“A Enayat”，“year”：“2019”，“nonstructured”：“Enayat，A.，Pakhomov，F.：真理、析取和归纳。Arch.Math.Logic 58（5\u20136），753\u2013766（2019）”，“期刊标题”：“Arch.Math.Logic”}，｛“issue”：“3\u20134”，“key”：“5_CR8”，“doi断言者”：“发布者”，“首页”：“385”，“doi”：“10.1007\\s0153-014-0371-1”，“volume”：“53“，”作者“：“D Fern\u00e1ndez-Duque”，“year”：“2014”，“unstructured”：“Fern\u 00e1indez-Duque，D.：超限可证明逻辑的多极化。Arch.Math.logic 53（3\u20134），385\u 2013431（2014）”，“journal-title”：“Arch.Math.logic”}，{“issue”：“2”，“key”：“5_CR9”，“doi-asserted-by”：“publisher”，”first page“543”，“doi”：“10.217”8\/jsl.7802110“，”卷“：”78“，“author”：“D Fern\u00e1ndez-Duque”，“year”：“2013”，“unstructured”：“Fern\u 00e1indez-Duque，D.，Joosten，J.J.：超限可证明逻辑模型。J.Symb.Log.78（2），543\u2013561（2013）”，“journal-title”：“J.Symp.Log.”}，{“issue”：“6”，“key”：“5_CR10”，“doi-asserted-by”：“publisher”，《首页》：“933”，“doi”：“10.1093\/jigpal\/jzu018”，“卷”：“22”，“author”：“D Fern\u00e1ndez-Duque”，“year”：“2014”，“unstructured”：“Fern\u 00e1indez-Duque，D.，Joosten，J.J.：超限Japaridze代数中的Well-orders。Logic J.IGPL 22（6），933\u2013963（2014）”，“journal-title”：“Logic J.IGPL”}，{“issue”：“4”，“key”：“5_CR11”，“doi-asserted-by”：“publisher”，《首页》：“333”，“doi”：“10.1016\/J.apal.2017.12.006”，“volume”：“169”，“author”：“D Fern\u00e1ndez-Duke”，“year”：“2018”，“unstructured”：“Fern\u 00e1indez-Duque，D.，Joosten，J.J.：超限可证明逻辑的欧米伽规则解释。Ann.Pure Appl.logic 169（4），333\u2013371（2018）”，“journal-title”：“Ann.Pure Appl.logic”}，{“key”：”5_CR12“，”doi-asserted-by“：”crossref“，“unstractured”：“Halbach，V.：公理真理理论。牛津大学（2014）”，“DOI”：“10.1017\/CBO9781139696586”}，{“key”：“5_CR13”，“unstructured”：“Japaridze，G.：多模可证明逻辑。In：内涵逻辑和理论的逻辑结构：第四届苏维埃-芬尼什逻辑研讨会材料。Metsniereba，Telaviv（1988）。（俄语）”}，{“key”：“5_CR14”，“doi-asserted-by”：“publisher”，“first page”：：“1225”，“doi”：“10.1007\/s1125-016-9674-z”，“volume”：”104“，”author“：”JJ Joosten“，“year”：“2016”，“unstructured”：“Joosen，J.J.J.J.：算术理论的Turing-Taylor展开。Stud.Logica.1041225\u20131243（2016）”，“journal title”：“Stud.Logica.”}，{“key”：5_CR15“，”doi-asserted-by“：“publisher”，“unstructured”：“Joosten，J.J.：M\u00fcnchhausen provability.J.Symbl.Log.，1\u201330（2021）.https:\\/doi.org\\10.1017\/jsl.2021.44”，“doi”：“10.1017\\jsl.2021.4”}，{“key”：“5_CR16”，“doi-asserted-by”：“publister”，“first page”：”182“，“doi:”10.2307\/2273332“，”volume“48”，“作者”：“D Leivant”，“年份”：“1983年”，“非结构化”：“Leivant，D.：归纳法作为算术公理化的最佳性。J.Symb.Log.48，182\u2013184（1983）”，“期刊标题”：“J.Symp.Log.”}，{“key”：“5_CR17”，“非结构化”：“Papafillipou，K.：一阶算术及其以外的独立组合蠕虫原理。硕士论文，巴塞罗那大学纯逻辑和应用逻辑硕士（2020）。http://\/diposit.ub.edu\/dspace\/handle\/2445\/170755”}，{“key”：“5_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Rathjen，M.：序数分析的艺术。摘自：《国际数学家大会论文集》，第2卷，第45\u201369页。欧洲数学学会（2006）“，”DOI“：”10.4171\/022-2\/3“}，{”key“：”5_CR19“，”DOI-asserted-by“：”publisher“，”first page“：“161”，“DOI”：“10.1112\/plms\/s2-451.161”，“volume”：“45”，“author”：“A Turing”，“year”：“1939”，“unstructured”：“Turing，A.：基于序数的逻辑系统。Proc.Lond.Math.Soc.45，161\u2013228（1939）“，”新闻标题“：”程序。伦敦。数学。Soc.“}”，“container-title”：[“计算机科学课堂讲稿”，“计算机科学的逻辑基础”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-93100-1_5”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2023,1,18]]，“date-time”：“2023-01-18T17:15:17Z”，“timestamp”：1674062117000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com\/10.1007\/978-3030-93100-1_5”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2021,12,16]]}”，“ISBN”：[“9783030930998”，“9783030931001”]，“references-count”：19，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-030-93100-1_5“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2021,12,16]}，“断言”：“2021年12月16日”，“订单”：1，“名称”：“first_online”，“标签”：“first online”group“：{”name“：”ChapterHistory“，”label“：”Ch章历史“}}，{”value“：会议名称“，”组“：{“Name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“佛罗里达州迪尔菲尔德海滩”，“order”：3，“名称”：“Conference_city”，“标签”：“会展城市”，“group”：{名称“：”ConferenceInformo“，”标签“：”会议信息“}}、{“值”：“美国”，“订单”：4，“名称“Conference_country”，“label”：”会议国家“，”小组“：{Name”：ConferenceInfo“，”label“：”ConferenceInformation“}}，{”value“：”2022“，”order“：5，”name“：”Conference_year“，”标签“：”会议年份“，”group“：会议信息“}}，{“value”：“2022年1月13日”，“order”：8，“name”：“Conference_end_date”，“label”：“Conference end date”，“group”：{“name”:“ConferenceInfo”，”label“：“会议信息”}}值“：”https:\/\/lfcs.ws.gc.cuny.edu\/“，”order“：11，”name“：”conference_url“，”label“：”conference url“，”group“：{”name“:”ConferenceInfo“，”标签“：”会议信息“}}，{”value“：”Single-blind“，”订单“：1，”name”：“type”，“label”：“type”，“group”：{“name”：”ConfEventPeerReviewInformation“，”table“：”同行评审信息（由会议组织者提供）“}}，{“value”：“EasyChair”，“order”：2，“name”：“conference_management_system”，“label”：“会议管理系统”，“group”：：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“23”，“order”：4，“name”:“Number_of_full_papers_accepted”，“标签”：“接受的全文数”：“同行评议信息（由会议组织者提供）”}}，{“value”：“0”，“order”：5，“name”：“number_of_short_papers_accepted”，“label”：“已接受的短文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“tabel”：”同行评议资讯（由会议主办方提供）“}}}、{“value”：“66%-该值由等式“接受的全文数”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评议信息（由会议组织者提供）”}}，{“value”：“3.1”，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）：“average_number_of_paers_per_Review”，“label”：“每位审阅者的平均论文数”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”｝｝，｛“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部审阅者”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}