{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,9,9]]，“日期-时间”：“2024-09-09T22:44:50Z”，“时间戳”：1725921890714}，“出版商位置”：“查姆”，“引用-计数”：12，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319720555“}，{”类型“：”电子“，“value”：“9783319720562”}]，“license”：[{“start”：{“date-parts”：[[2017,11,28]]，“date-time”：“2017-11-28T00:00:00Z”，“timestamp”：1511827200000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]离子“：false}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2018]]}，“DOI”：“10.1007\/978-3-319-72056-2_15”，“type”：“book-chapter”，“created”：{“date-parts”：[2017,11,27]]，“date-time”：“2017-11-27T04:33:31Z”，“timestamp”：1511757211000}，”page“：”242-255“update-policy”：”http://dx.DOI.org\/10007\/springer_cross mark_policy“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“分离扇形定理及其弱点II”]，“前缀”：“10.1007”，“作者”：[{“给定”：“罗伯特·S”，“家族”：“卢巴斯基”，“序列”：“第一”，“从属”：[]}]，“成员”：“297”，“在线发布”：{“日期-部件”：[[2017,11,28]]}，“引用”：[}“密钥”：“15_CR1”，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-3-6 42-68952-9“，”卷标签“：“建构数学基础”，“作者”：“M Beeson”，“年份”：“1985年”，“非结构化”：“Beeson，M.：建构数学基础。Springer，Heidelberg（1985）”}，{“key”：“15_CR2”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”35“，“doi”：“10.1007\/11780342_4”，“volume-title”：“计算障碍的逻辑方法”，“作者”：“J Berger”，“年份”：“2006年”，“非结构化”：“Berger，J.：一致连续性定理的逻辑强度。摘自：Beckmann，A.，Berger，U.，L\u00f6we，B.，Tucker，J.V.（eds.）CiE 2006。LNCS，第3988卷，第35页\u201339。斯普林格，海德堡（2006）。https:\/\/doi.org\/10.1007\/11780342_4“}，{“key”：“15_CR3”，“unstructured”：“Berger，J.：各种Brouwer\u2019s Fan定理的分离结果。In：第十届亚洲逻辑会议论文集（ALC 10），日本兵库县神户大学，2008年9月1日，第85\u201392页（2010）”}，}“issue”：“1”，“key“：”15_CR4“，”doi-asserted-by“：”crossref”，“first page”：“50”，“DOI”：“10.1016\/j.apal.2008.09018”，“volume”：“157”，“author”：“H Diener”，“year”：“2009”，“nonstructured”：“Diener，H.，Loeb，I.：构造逆数学中[0，1]上的实函数序列。Ann.纯粹应用。逻辑157（1），50\u201361（2009）“，“期刊标题”：“Ann.Pure Appl。逻辑“}，{“key”：“15_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Diener，H.，Lubarsky，R.：刻板性和亚稳定性的概念。摘自：Artemov，S.，Nerode，A.（eds.）2018年计算机科学逻辑基础研讨会，LNCS。Springer，Heidelberg（2018年出版）”，“doi”：“10.1007 \/978-319-72056-2_9”}，}，“key“：”15_CR6“，“series-title”：“数学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”280“，“doi”：“10.1007”，“volume-title”：“Sheeves的应用”，“author”：“MP Fourman”，“year”：“1979”，“unstructured”：“Fourman，M.P.，Hyland，J.M.E.：分析的剪切模型。收录：Fourman，M.、Mulvey，C.、Scott，D.（编辑）《滑轮的应用》。LNM，第753卷，第280\u2013301页。斯普林格，海德堡（1979）。https:\/\/doi.org/10.1007\/BFb0061823“｝，｛”key“：”15_CR7“，”系列标题“：”数学讲义“，”doi断言“：”出版商“，”首页“：”302“，”doi“：”10.1007\/BFb0061824“，”卷标题“：”Sheaves的应用“，”作者“：”MP Fourman“，”年份“：”1979“，”非结构化“：”Fourman，M.P.，Scott，D.S.：滑轮和逻辑。收录：Fourman，M.、Mulvey，C.、Scott，D.（编辑）《滑轮的应用》。LNM，第753卷，第302\u2013401页。斯普林格，海德堡（1979）。https:\/\/doi.org\/10.1007\/BFb0061824“}，{“key”：“15_CR8”，“doi-asserted-by”：“crossref”，“first page”：”164“，“doi”：“10.1016\/j.apal.2005.05.021”，“volume”：第137页，“author”：“N Gabino”，“year”：“2006”，“unstructured”：“Gabino，N.：构造集理论的Heyting-valued解释。Ann.Pure Appl.Logic 137，164\u2013188（2006）”，“新闻标题”：“安。纯应用程序。Logic“}，{”issue“：”2“，”key“：”15_CR9“，”doi-asserted-by“：”crossref“，”first page“：“333”，”doi“：”10.2140\/pjm.1984.111.333“，“volume”：“111”，“author”：“W Julian”，“year”：“1984”，“unstructured”：“Julian，W.，Richman，F.：[0,1]上的一致连续函数，它与它的下确界完全不同。Pac.J.Math.111（2），333\u2013340（1984））“，”journal-title“：”太平洋。数学杂志。“}，{”key“：”15_CR10“，”doi-asserted-by“：”crossref“，”first-page“：”792“，”doi“：”10.1017\/jsl.2014.9“，”volume“：“79”，”author“：”R Lubarsky“，”year“：”2014“，”unstructured“：”Lubarsky，R.，Diener，H.：分离Fan定理及其弱化。J.符号逻辑79，792\u2013813（2014）“，”journal-title“：”J.符号逻辑学“}title“：”可实现性：其分类方面的介绍”，“年份”：“2008年”，“作者”：“J Oosten van”，“key”：“15_CR11”，“unstructured”：“van Oosten.J.：可实现性，其分类方面介绍。Elsevier，Amsterdam（2008）“}，{“key”：“15_CR12”，“unstructured”：“Troelstra，A.S.，van Dalen，D.：数学中的建构主义，第2卷。In:Studies In Logic，vol.123，Elsevier（1988）“}]，“container-title”：[“Teach Notes In Computer Science”，“Logical Foundations of Computer Science”]，“original-title“：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.10007\/978-3319-72056-2_15”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2019,10,6]]，“日期时间”：“2019-10-06T17:30:31Z”，“时间戳”：1570383031000}，“分数”：1，“资源”：{“主要”：{-“URL”：“http://\/link.springer.com\/10.1007\/978-3-319-72056-2_15”}，”副标题：[]，“短标题”：[]]]}，“ISBN”：[“9783319720555”，“9783329720562”]，“references-count“：12，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-319-72056-2_15“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”值“：”1611-349“}]，”主题“：[]，”发布“：{”日期部分“：[2017,11,28]]}}