{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,4,9]]，“日期时间”：“2023-04-09T23:25:39Z”，“时间戳”：1681082739839}，“参考计数”：13，“发布者”：“Elsevier BV”，“问题”：“2-3”，“许可证”：[{“开始”：{-“日期部分01T00:00:00Z“，“时间戳”：1109635200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：3096，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2005,3]]}，”DOI“：”10.1016\/j.apal.2004.08.002“，”type“：”journal-article“，”created“：{”date-part“：[[2004,12,15]]，”date-time“：”2004-12-15T21:44:13Z“，”timestamp“：1103147053000}“page”：“209-225”，“source”：“Crossref”，“被count引用”：19，“title”：[“围绕构造性ZF的独立性结果”]，“prefix”：“10.1016”，“volume”：“132”，“author”：[｛”given“：“Robert S.”，“family”：“Lubarsky”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛”key“：”10.1016\/j.apal.2004.08.002_b1“，“series title”：“Logic Colloquium\u201977”，“first page”：“55”，“article title”：“建构集理论的类型论解释”，“作者”：“Aczel”，“年份”：“1978”}，{“key”：“10.1016\/j.apal.2004.08.002_b2”，“系列标题”：“L.E.j.Brouwer百年研讨会”，“首页”：“1”，“文章标题”：“建构集理论的类型论解释：选择原则”，“作者”：“Aczel”，“年份”：“1982”}，{“key”：“10.1016\/j.apal.2004.08.002_b3”，“series-title”：“科学的逻辑、方法论和哲学VII”，“首页”：“17”，“article-title”：“建构集理论的类型理论解释：归纳定义”，“author”：“Aczel”，“year”：“1986”}，{“key”：”10.1016\\j.apal.2004.08.002 _b4“，“unstructured”：“P.Aczel，M。Rathjen，《关于构造集理论的注释》，技术报告40，2000\/2001，瑞典米塔格-莱弗勒研究所，2001年“}，{“key”：“10.1016\/j.apal.2004.08.002_b5”，“doi-asserted-by”：“crossref”，“first-page”：“1”，“doi”：“101016\/0001-8708（85）90103-3”，“article-title”：“直觉主义集合论中缺乏可定义的见证人和可证明的递归函数”，“作者”：“Friedman”，“年份”：“1985年”，“期刊标题”：“数学进展”}，{“关键”：“10.1016\/j.apal.2004.08.002_b6”，“非结构化”：“R。Lubarsky，CZF\u00a0+完全分离等价于二阶算术，《纯逻辑与应用逻辑年鉴》（提交出版）“}，{“key”：“10.1016\/j.apal.2004.08.002_b7”，“series-title”：“逻辑学术讨论会\u201973”，“第一页”：“73”，“文章-标题”：“直觉主义类型理论：表语部分”，“作者”：“Martin-L\u00f6f”，“年份”：“1975年“}，{”key“：”10.1016\/j.apal.2004.08.002_b8“，”series-title“：“直觉主义类型理论”，”author“：”Martin-L\u00f6f“，”year“：”1984“}”，{“key”：“10.1016\\j.apal.2004.08.002 _b9”，“doi-asserted-by”：“crossref”，“first page”：”347“doi”：“10.2307\/2272159”，“article-title”：“构造集理论”，“author”“：”Myhill“，”year“：”1975“，”journal-title“：”符号逻辑杂志“}，{”key“：”10.1016\/j.apal.2004.08.002_b10“，”first page“：275英寸文章标题“：“证明论中的高等无穷大”，“卷”：“第11卷”，“作者”：“Rathjen”，“年份”：“1998”}，{“键”：“10.1016\/j.apal.2004.08.002_b12”，“系列标题”：“从集合和类型到分析和拓扑：走向构造数学的实用基础”，“文章标题”：“建构主义集合理论及其分类理论模型”，“作者”：“Simpson”，“年份”：“2003”}，{“关键”：“10.1016\/j.apal.2004.08.002_b13”，“非结构化”：“T.Streicher，IZF和CZF+\u00ac Pow通过Aczel构造的可实现模型，个人通信”}]，“容器-时间”：[“纯逻辑和应用逻辑年鉴”]，“原始标题”：[]，“language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S016800724001241？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII:S0108007204001241？httpAccept=text\/plain”，“content-t”type“：”text\/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposted“：{”date-parts“：[[2019,1,31]]，”date-time“：”2019-01-31T09:27:00Z“，”timestamp“：154892682000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/piii\/S0168007204001241”}}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2005,3]]}，“references-count“：13，”journal-issue“：{”issue“：“2-3”，“published-print”：{“date-parts”：[[2005,3]]}}，“alternative-id”：[“S016800724001241”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.apal.2004.08.002”，“relation”：{}，”ISSN“：[”0168-0072“]，”ISSN-type“：[{”value“：”0168-20072“，”type““print”}]，“subject”：[]，“published”：{“date-parts”：[[2005,3]]}}}