{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T14:09:53Z”，“时间戳”：1726150193770}，“出版商位置”：“查姆”，“参考计数”：48，“出版者”：“斯普林格国际出版公司”，“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_15“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T18:02:26Z”，“timestamp”：1639591346000｝，“page”：“236-252”，“update policy”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“source”：“Crossref”，“由count引用”：5，“title”：[“Betwixt Turing and \u00a0Kleene”]，“prefix”：“10.1007”，“author”：[{“given”：“Dag”，“family”：“Normann”，“sequence”：“first”，“affiliation”“：[]｝，｛”给定“：”山姆“，“family”：“Sanders”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2021,12,16]]}，“reference”：[{“key”：“15_CR1”，“doi-asserted-by”：《crossref》，“unstructured”：“Avigad，J.，Feferman，S.：G\u00f6del\u2019s functional（\u201cDialectica\u201d）解释。摘自：《证明理论手册》，第337页\u2013405（1998）“，”DOI“：”10.1016\/S0049-237X（98）80020-7“}，{”key“：”15_CR2“，”DOI-asserted-by“：”publisher“，”unstructured“：”Beeson，M.J.建构数学基础：元数学研究。Ergebnisse der Mathematik und ihrer Grenzgebiete，第6卷。斯普林格，海德堡（1985）。https:\/\/doi.org/10.1007\/978-3-642-68952-9“，”doi“：”10.1007\/978-3-642-68952-9“｝，｛”key“：”15_CR3“，”非结构化“：”Bishop，E.：建构性分析的基础。McGraw-Hill（1967）“｝，｛”卷标题“：”Le\u00e7ons sur la th \u00e9orie des foctions“，”年份“：”1898“，”作者“：”E Borel“，”key“：”15_CR4“，”非结构化“：”Borel，E.：Le \u00e7ons sur la th\u00e 9orie des functions。Gauthier-Villars，Paris（1898）“}，{”issue“：“3”，”key“：“15_CR5”，”doi-asserted-by“：”publisher“，”first page“：”316“，“doi”：“10.1112\/S0024609399006736”，“volume”：“32”，“author”：“D Bridges”，“year”：“2000”，“unstructured”：“Bridges，D.：有界变差函数的建设性研究。Bull.Lond.Math.Soc.32（3），316\u2013324（2000）”，“日志标题“：”牛市。伦敦。数学。Soc.“}，{”key“：”15_CR6“，”series-title“：”计算智能研究“，”doi-asserted-by“：”publisher“，”first page“：“9”，“doi”：“10.1007\/978-3-030-31041-7_2”，“volume-title”：“超越传统概率数据处理技术：区间、模糊等方法及其应用”，“author”：“DS Bridges”，“year”：“2020”，“unstructured”：“Bridges，D.S.：增加功能的建设性连续性。In:Kosheleva，O.，Shary，S.P.，Xiang，G.，Zapatrin，R.（编辑）超越传统概率数据处理技术：区间、模糊等方法及其应用。SCI，第835卷，第9\u201319页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-31041-7_2“}，{”issue“：”4“，”key“：”15_CR7“，”doi-asserted-by“：”publisher“，”first page“：“1695”，”doi“：”10.2307\/2694969“，”volume“：1695\u20131700（2001），“新闻标题”：“J.Symb。日志。}，{“key”：“15_CR8”，“unstructured”：“Bridges，D.，Richman，F.：构造数学的多样性。伦敦数学学会讲座笔记系列，第97卷。剑桥大学出版社，剑桥（1987）”，{“关键”：“15_CR9”，“非结构化”：“Brouwer，L.E.J.：Begr\u00fcndung der mengenlehre unabh\u00e4ngig vom logischen satz vom ausgeschlossenen dritten。erster teil:Allgemeine mengenlehre。Koninklijke Nederlandsche Akademie van Wetenschappen，Verhandelingen，1ste sectie，第12卷，第5期，第43页（1918）”，{key“：”15_CR10“，”series-title“：”数学课堂讲稿“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFb0091894“，”volume-title“：“迭代归纳定义和分析子系统：最新实证理论研究”，“author”：“W Buchholz”，“year”：“1981”，“unstructured”：“Buchhol z，W.，Feferman，S.，Pohlers，W.和Sieg，W.：迭代归纳定义和分析子系统：最近的理论验证研究。LNM，第897卷。斯普林格，海德堡（1981）。https:\/\/doi.org\/10.1007\/BFb0091894“}，{“issue”：“3”，“key”：“15_CR11”，“doi-asserted-by”：“publisher”，“first page”：《首页》：“259”，“doi”：“10.1016\/0021-9045（83）90098-9”，《volume》：“39”，“author”：“CF Hua”，“year”：“1983”，“unstructured”：“Hua，C.F.：关于有界变分函数的Bernstein多项式的收敛速度。J.Approx.Theor。39（3），259\u2013274（1983）“，“新闻标题”：“J.近似理论。“}，{”key“：”15_CR12“，”unstructured“：”Feferman，S.：How a Little Bit goes a Long Way:Predicative Foundations of Analysis（2013）。1977年\u20131981年未发表的笔记，更新了引言。https:\/\/math.stanford.edu\/~Feferman\/papers\/pfa（1）.pdf“}”，{“issue”：“9”，“key”：“15_CR13”，“doi-asserted-by”：“publisher”，“first page”：”819“，“doi”：“”10.1080\/00029890.1994.11997035“，”卷“：”101“，”作者“：”R Gray“，”年份“：”1994“，”非结构化“：”Gray，R.：Georg cantor和超越数。阿默尔。数学。周一。101（9），819\u2013832（1994）“，“新闻标题”：“Amer。数学。周一。}，{“key”：“15_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Heyting，A.：直觉主义分析的最新进展。摘自：直觉主义和证明理论，《夏季会议论文集》，纽约州布法罗，第95\u2013100页（1970）”，“doi”：“10.1016\/S0049-237X（08）70744-4”}，}“key:”15_CR15“doi-sserted-by“：”publisher“，“unsructured“：”Hilbert，D.，Bernays，P.：格兰德拉根·德·马塞马克（Grundlagen der Mathematik）。二、。茨威特·奥夫拉格。Die Grundlehren der mathematischen Wissenschaften，第50卷。斯普林格，海德堡（1970）。https:\/\/doi.org\/10.1007\/978-3642-86896-2“，“doi”：“10.1007\/9783-642-86996-2”}，{“key”：“15_CR16”，“unstructured”：“Hrbacek，K.，Jech，T.：集论导论，第三版。《纯粹数学和应用数学》专著和教科书，第220卷。Marcel Dekker Inc.，纽约（1999）“}，{“key”：“15_CR17”，“unstructured”：“Jordan，C.：Sur la s \u00e9rie de fourier.Comptes rendus de l\u2019Acad\u00e 9mie des Sciences，Paris，Gauthier-Villars，第92卷，pp.228\u2013230（1881）”}，“{”key“：”15_CR18“doi-asserted-by”：“crossref”，“非结构化”：“Kleene，S.C.：有限类型的递归泛函和量词。i.事务处理。阿默尔。数学。Soc.91，1\u201352（1959）“，“DOI”：“10.1090\/S0002-9947-1959-0102480-9”}，{“key”：“15_CR19”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kohlenbach，U.：高等类型的基础和数学应用。摘自：《逻辑课堂笔记》，第15卷，第92\u2013116页。ASL（2002）“，”DOI“：”10.1017\/9781316755983.005“}，{“key”：“15_CR20”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kohlenbach，U.：关于一致弱K\u00f6nig\u2019s引理。Ann.Pure Appl.Log.114（1\u20133），103\u2013116（2002）。Anne S.Troelstra纪念研讨会（Noordwijkerhout，1999）”，“DOI”：“10.1016\/S01681-0072（01）00077-X“}，{”key“：”15_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”科伦巴赫，美国：高等逆向数学。摘自：《逆向数学2001》，第281\u2013295页。ASL（2005）“，”DOI“：”10.1017\/9781316755846.018“}，{”key“：”15_CR22“，”DOI-asserted-by“：”publisher“，”first page“：“10”，“DOI”：“10.1016\/j.topol.2015.04.006”，“volume”：“191”，“author”：“M Kowalewski”，“year”：“2015”，“unstructured”：“Kowaleowski，M.，Maliszewski，A.：用cliquish函数分隔集合。拓扑应用程序191，10\u201315（2015）“，“新闻标题”：”拓扑应用程序。“}，{”key“：”15_CR23“，”doi-asserted-by“：”crossref“，”unstructured“：”Kreuzer，A.P.：有界变量和Helly\u2019s选择定理的强度。Log.Meth.Comput.Sci.10（4:16），1\u201323（2014）“，”doi“：”10.2168\/LMCS-10（4:162014）“}”，{“issue”：“12”，“key”：“15_CR24”，“doi-assert-by”：“publisher”，“first page”：”545 11“，”doi“：”10.1090\/proc\/12671“，”卷：“143”，“作者”：“AP Kreuzer”，年：“2015”，“非结构化”：“Kreuze，A.P.：测量理论和高阶算法。程序。阿默尔。数学。Soc.143（12），5411\u20135425（2015）“，“期刊标题”：“Proc。阿默尔。数学。Soc.“}，{“key”：“15_CR25”，“nonstructured”：“Kunen，K.：集合论。逻辑学研究，第34卷。College Publications，London（2011）“}，{”key“：”15_CR26“，”doi-asserted-by“：”publisher“，”unstructured“：”Longley，J.，Norman，D.：“高阶可计算性。可计算性的理论和应用。Springer，Heidelberg（2015）。https:\\/doi.org\/10007\/978-3662-47992-6“，”doi“：”10.1007\/968-3662-499-6“}”，{“key”：“15_CR27”，“doi-assert-by”：“”crossref“，”unstructured“：”Neubrunn，T.：准连续性。真实分析。交易所。14（2），259\u2013306（1988\/89）“，“DOI”：“10.2307\/44151947”}，{“key”：“15_CR28”，“DOI-asserted-by”：“crossref”，“unstructured”：“Nies，A.，Triplett，M.A.，Yokoyama，K.：Jordan and Lebesgue定理的逆向数学。J.Symbg.Log.，1\u201318，“DOI-asserted-by”：“publisher”，“unstructured”：“Greenberg，N.、Miller，J.S.、Nies，A.：接近PA完整性的Highness属性。以色列。数学杂志。244419\u2013465（2021）。https:\/\/doi.org\/10.1007\/s11856-021-2200-7“，”doi“：”10.1007\/s11886-021-22000-7“}，{“问题”：“4”，“密钥”：“15_CR30”，“doi-asserted-by”：“发布者”，“首页”：“1422”，“doi”：“10.1017\/jsl.2019.69”，“卷”：“84”，“作者”：“D Norman”，“年份”：“2019”，“非结构化”：“Normann，D.，Sanders，S.：非标准分析、可计算性理论及其联系。J.塞姆。日志。84（4），1422\u20131465（2019）“，“新闻标题”：“J.Symb。日志。“}，{”issue“：”01“，”key“：”15_CR31“，”doi-asserted-by“：”publisher“，”first-page“：”1950001“，”doi“：”10.1142\/S0219061319500016“，”volume“：“19”，”author“：”D Norman“，”year“：”2019“，”unstructured“：”Norman，D.，Sanders，S.：论不可数的数学和基础意义。J.Math.Log.19（01），1950001（2019）https:\/\/doi.org\/10.1142\/S0219061319500016“，”journal-title“：”J.Math。日志。“}，{”key“：”15_CR32“，”unstructured“：”Norman，D.，Sanders，S.：“度量理论中的表征。arXiv-arXiv:1902.02756（2019）”}，“issue”：“11”，“key”：“15_CR33”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.apal.2019.05.007”，“volume”：”170“，“author”：“D Norman”，“year”：“2019”，“unstructure”：“”Norman，D.，Sanders，S.：可计算性理论和非标准分析中的紧性强度。Ann.纯粹应用。日志。170（11），102710（2019）“，“新闻标题”：“Ann.Pure Appl。日志。}，{“key”：“15_CR34”，“unstructured”：“Norman，D.，Sanders，S.：关于$$\\mathbb{R}$$的不可数性，第37页。arXiv-arXiv:2007.07560（2020）“}，{“问题”：“8”，“关键”：“15_CR35”，“doi-asserted-by”：“publisher”，“首页”：“40”，“doi”：“10.1093\/logcom\/exaa049”，“卷”：“30”，“作者”：“D Norman”，“年份”：“2020”，“非结构化”：“Norman，D.，Sanders，S.：逆向数学和可计算性理论中的开放集。J.Log.Comput.30（8），40（2020）”，“新闻标题”：“J。日志。计算。“}，{”issue“：”5“，”key“：”15_CR36“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.apal.2020.102788“，”volume“：“171”，”author“：”D Norman“，”year“：”2020“，”unstructured“：”Norman，D.，Sanders，S.：反向数学和可计算性理论中的Pincherle\u2019s定理。Ann.Pure Appl.Log.171（5），102788（2020）“，”journal-title“：”Ann.Pure.应用日志“}，{”issue“：”1“，”key“：”15_CR37“，”doi-asserted-by“：”publisher“，”first-page“：”297“，”doi“：”10.1093\/logcom\/exaa080“，”volume“：“31”，“author”：“D Norman”，“year”：“2021”，“unstructured”：“Norman，D.，Sanders，S.：可计算性理论和逆向数学中的选择公理。J.日志。计算。31（1），297\u2013325（2021）“，“期刊标题”：“J.Log。计算。“}，{”key“：”15_CR38“，”doi-asserted-by“：”crossref“，”unstructured“：”Normann，D.，Sanders，S.：关于逆向数学中Bolzano，Weierstrass和Cantor提出的稳健定理，第30页。arXiv-arXiv:2102.04787（2021）“，”DOI“：”10.1017\/jsl.2022.71“}，{”key“：”15_CR39“，”DOI-asserted-by“：”publisher“，”first page“：“111”，“DOI”：“10.1002\/1521-3870（200201）48:1<111:：AID-MALQ111>3.0.CO；2-6“，”volume“：Richman，F.：全能科学原理和有界变分函数。数学。日志。Q.48，111\u2013116（2002）“，“新闻标题”：“数学。日志。Q.“}，{”key“：”15_CR40“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“253”，“doi”：“10.1007\/978-3030-22996-2_22”，“volume-title”：“带预见性和工业性的计算”，“author”：“S Sanders”，“year”：“2019”，“unstructured”：“Sanders，S.：网络和逆向数学。收录人：Manea，F.、Martin，B.、Paulusma，D.、Primiero，G.（编辑）CiE 2019。LNCS，第11558卷，第253\u2013264页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-22996-2_22“}，{“key”：“15_CR41”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”550“，“doi”：“10.1007\/9783-662-59533-6_33”，“volume-title”：”逻辑、语言、信息和计算“，“author”：“S Sanders”，“年份”：“2019”，“unstructured”：“Sanders，S.：领域理论的逆向数学和可计算性理论。收录：Iemhoff，R.，Moortgat，M.，de Queiroz，R.（编辑）WoLLIC 2019。LNCS，第11541卷，第550\u2013568页。斯普林格，海德堡（2019）。https:\/\/doi.org\/10.1007\/978-3-662-59533-6_33“}，{”issue“：”1“，”key“：”15_CR42“，”doi-asserted-by“：”publisher“，”first page“：“31”，”doi“：”10.3233\/COM-190265“，”volume“：2021）“，”新闻标题“：”可计算性“}，{“key”：“15_CR43”，“doi-asserted-by”：“crossref”，“unstructured”：“Simpson，S.G.：二阶算术的子系统。逻辑透视，第二版。剑桥大学出版社（2009）”，“doi”：“10.1017\/CBO9780511581007”}，}，“key“：”15_CR44Stillwell，J.：《逆向数学，由内而外的证明》。普林斯顿大学出版社（2018）“，”DOI“：”10.1515\/9781400889037“}，{”key“：”15_CR45“，”first page“：“230”，“volume”：“42”，“author”：“A Turing”，“year”：“1936”，“unstructured”：“Turing，A.：关于可计算数字，以及对Entscheidungs问题的应用。Proc.Lond.Math.Soc.42，230\u2013265（1936）”，“journal-title”：“Proc.Londa.Math.Soc”。}，{“键”：15_CR46“，”doi-asserted-by“：”publisher“，”unstructured“：”Veldman，W.：理解和使用Brouwer\u2019s的连续性原理。收录于：Schuster，P.，Berger，U.，Osswald，H.（编辑）Reuniting the Antipodes \u2013 Constructive and Non-standard Views of the Continuum。综合图书馆（认识论、逻辑、方法论和科学哲学研究），第306卷，第285\u2013302页。施普林格，多德雷赫特（2001）。https:\/\/doi.org\/10.1007\/978-94-015-9757-9_24“，”doi“：”10.1007\/978-94-015-9757.9_24“}，{“key”：“15_CR47”，“series-title”：“理论计算机科学中的文本。EATCS系列”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-642-56999-9”，”volume-title“：“可计算分析”，“author”：“K Weihrauch”，“year”：“2000”“，”非结构化“：”Weihrauch，K.：可计算分析。TTCSAES，施普林格，海德堡（2000）。https:\/\/doi.org\/10.1007\/978-3642-56999-9“}，{“问题”：“2”，“密钥”：“15_CR48”，“doi-asserted-by”：“出版商”，“首页”：“189”，“doi”：“10.1007\/s00224-004-1193-z”，“卷”：“38”，“作者”：“X Zheng”，“年份”：“2005”，“非结构化”：“Zheng，X.，Rettinger，R.：有效的Jordan分解。Theor.Comput.Syst.38（2），189\u2013209（2005）“，”新闻标题“：”西奥。计算。系统。“}]，”容器标题“：[”计算机科学讲义“，”计算机科学逻辑基础“]，”原标题“：[]，”语言“：”en“，”链接“：[｛”URL“：”https:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-030-93100-1_15“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用“：”相似性检查“}]，”寄存“：｛”date-parts“：[[2023,1,18]]，“date-time”：“2023-01-18T12:16:32Z”，“timestamp”：1674044192000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com\/10.1007\/978-3-030-93100-1_15”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2021,12,16]}”，“ISBN”：[“9783030930998”，“9783030931001”]，“references-count”：48，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-030-93100-1_15“，”关系“：{}，”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_papers_per_reviewer”，“label”：“每位审阅者的平均论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“Yes”，“order”：9，“name”:“external_reviewers_involved”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}