{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,6]]，“日期-时间”：“2024-06-06T21:15:05Z”，“时间戳”：1717708505721}，“引用-计数”：8，“发布者”：“爱思唯尔BV”，“问题”：“1”，“许可证”：[{“开始”：{-“日期-零件”：[2005,2,1]]，02-01T00:00:00Z“，”时间戳“：1107216000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“开始”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：13771296000000}，“content-version”：“vor”，“delay-in-days”：3124，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2005,2]]}，”DOI“：”10.1016\/j.apal.2004.07.002“，”type“：”journal-article“，”created“：{”date-part“：[[2004,11,12]]，”date-time“：”2004-11-12T12:23:03Z“，”timestamp“：1100262183000}“page”：“51-66”，“source”：“Crossref”，“is-referenced-by-count”：26，“title”：[“（弱）Fan定理的等价物”]，“prefix”：“10.1016”，“volume”：“132”，“author”：[{“给定”：“虹膜”，“family”：“Loeb”，”sequence“：”first“，”affiliation“：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/j.apal.2004.07.002_b1“，”series-title“：”建构数学基础：元数学研究“，”作者“：“Beeson”，“year”：“1985”}，｛“key”：“10.1016\/j.apal.2004.07.002_b2”，“series title”：“建构数学的多样性”，“author”：“Bridges”，“year”：“1987”｝，｛“key”：“10.1016\/j.apal.2004.07.002_b3”，“nonstructured”：“H。Ishihara，非正式建构主义逆向数学，CDMTCS研究报告第229号，CDMTTS，奥克兰大学，2004年，S\u016brikaisekikeky\u016 bsho K\u014dky\u06broku，京都大学数学科学研究所（出版中）“}，{”key“：”10.1016\/j.apal.2004.07.002_b4“，”series-title“：”直觉数学基础：特别是与递归函数有关”，“author”：“Kleene”，“year”：“1965”}，{“key”：“10.1016\/j.apal.2004.07.002_b5”，“doi-asserted-by”：“crossref”，《first page》：“514”，“doi”：“10.2307\/2274182”，“article-title”：“Heine\u2013Borel并不意味着Fan定理”，“volume”：1984”，“期刊标题”：“符号逻辑”}，｛“键”：“10.1016\/J.apal.2004.07.002_b6”，“系列标题”：“二阶算术子系统”，“作者”：“Simpson”，“年份”：“1999”｝，｛“键”：“10.1016\/J.apal.2004.07.002_b7”，“系列标题”：“直觉算术与分析的元数学研究”，“作者”：“Troelstra”，“年份”：“1973”｝，｛“键”：“10.1016\/j.apal.2004.07.002_b8“，“非结构化”：“W.H.M.Veldman，Intu\u00efonistische Wiskunde，演讲笔记，Kath。奈梅根大学，奈梅根，1991年“}”，“容器-时间”：[“纯逻辑和应用逻辑年鉴”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\\/api.elsevier.com/content\/article\/PII:S0168007204001046？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“content-version”：“vor”，“intended-application”：“文本-分钟”}，{URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S016800724001046？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,2,1]]，“date-time”：“2019-02-01T21:55:08Z”，“timestamp”：1549058108000}，“score”：1，“resource”：{primary“：{”URL“https://linkinghub.elsevier.com\/retrieve\/pii\/S01686 007204001046“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2005,2]]}，”references-count“：8，”journal-sissue“：{“issue”：“1”，“published-print”：{“date-part”：[[20005,2]}，“alternative-id”：[“S016800720401046”]，“URL”：“http://\/dx.doi.org\/101016\/j.apal.2004.07.002”，“relation”：{}，8-0072“]，”ISSN-type“：[{”value“：”0168-0072“，”type“:”print“}]，”subject“：[]，“已发布“：{“date-parts”：[[2005,2]}}}