{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,6]]，“日期时间”：“2024-04-06T02:51:52Z”，“时间戳”：17123712274}，“引用-计数”：47，“发布者”：“Elsevier BV”，“问题”：“2”，“许可证”：[{“开始”：“日期部分“：[[2014,2,1]]，”“日期时间“：”2014-02-01T00:00:00Z“，”时间戳“：1391212800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2018,2,2]，“date-time”：“2018-02T00:00:00Z”，“timestamp”：1517529600000}，“content-version”：“vor”，“delay-in-days”：1462，“URL“https:\\/www.elssevier”。com/open-access\/userlicense\/1.0\/“}]，”content-domain“：{”domain“用法：[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“Pure and Applied Logic年鉴”]，”published-print“：{“date-parts”：[[2014,2]}，”DOI“：”10.1016\/j.apal.2013.06.004“，”type“：”journal-article“，”created“：”{“date-parts“：[[2013,7,8]]，”date-time“：”2013-07-08T12:16:04Z“，”时间戳“：1373285764000}，”页面“：”428-502“，“update-policy”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：7，“title”：[“关联一阶集理论、拓扑和类的类别”]，“前缀”：“10.1016”，“卷”：“165”，“作者”：[{“给定”：“Steve”，“家族”：“Awodey”，“序列”：“first”，“从属关系”：[]}，{“指定”：“Carsten”，“家庭”：“Butz”、“sequence”：“additional”，“affiliation”：[]}，{“given”：“Alex”，“family”：“Simpson”，“sequences”：“附加的”，“从属的”：[]}，}“giving”：“Thomas”，“家族”：“Streicher”，“序列”：“额外”，“附属的”：[]}]，“成员”：“78”，“引用”：[{“key”：”10.1016\/j.apal.2013.06.004_br0010“，”“series-title”：“Logic Collocium\u02bc77”，“首页”：“55”，“文章标题”：“建构主义集合论的类型理论解释”，“卷”：“第96卷”，“作者”：“Aczel”，“年份”：“1978”}，{“关键”：“10.1016\/j.apal.2013.06.004_br0020”，“文章标题”：“非well-found集”，“体积”：“卷14”，“作家”：“Aczel”“”，“author”：“Aczel”，“year”：“2001”}，{“issue”：“3”，“key”：“10.1016\/j.apal.2013.06.004_br0040”，“doi-asserted-by”：“crossref”，“first page”：《281》，“doi”：“10.2178\/bsl\/1231081369”，“article-title”：“代数集合理论简介”，“volume”：”14“authors”：“Awodey”，“年份”：“2008”，“日记标题”：“公牛。符号逻辑“}，{”键“：“10.1016\/j.apal.2013.06.004_br0050”，“doi-asserted-by”：“crossref”，“first page”：“340”，”doi“：”10.2178\/bsl\/118666150“，”article-title“：”关联一阶集合理论和基本拓扑“，”volume“：”13“，”author“：”Awodey“，”year“2007”，“journal-title”：“Bull.符号逻辑”}，{“issue”：“5”，“key”：”10.1016\/j.a pal.2013.06.004_br0060“，“首页”：“147”，“article-title”：“集合与类的直觉主义理论的范畴模型”，“volume”：“15”，“author”：“Awodey”，“year”：“2005”，“journal-title“：“Theory Appl.Categ.”}，{“issue”：“1”，“key”：”10.1016\/j.apal.2013.06.004_br0070“，”first page“：“1年份”：“2005”，“journal-title”：“Theory Appl.Categ.”}，{“key”：“10.1016\/j.apal.2013.06.004_br0080”，“article-title“：”Topose and Local Set Theorys“，”volume“：”vol.14“，”author“：”Bell“，”year“：”1988“}，”{“issue”：“1”，“key“：“10.1016\/j.apal.2008.06.013”，“文章标题”：“谓词代数集理论的方面I：精确补全”，“卷”：“156”，“作者”：“van den Berg”，“年份”：“2008”，“期刊标题”：“Ann.Pure Appl.Logic”}，{“key”：“10.1016\/j.apal.2013.06.004_br0100”，“series-title”：“2006年逻辑学术讨论会”，“首页”：“18”，“article-title”：《代数集理论统一方法》，“作家”：“ven den Berg”，“年”：“2009”}，{“键”：“10.1016\/j.apal.2013.06.004_br0110”，“doi-asserted-by”：“crossref”，“首页”：“1916”，“doi”：“101016\/j.tcs.2010.1.12.019”，“article-title”：“谓词代数集合理论的方面II:可实现性”，“卷”：“412”，“作者”：“van den Berg”，“年份”：“2011”，“期刊标题”：“理论计算科学”}，{“键”：“10.1016\/j.apal.2013.06.004_br0120”，“doi-asserted-by”：“crossref”，“first page”：“1076”，“doi”：“10.1112\/plms\/pdr066”，《article-title》：“谓词代数集合论的方面III:Sheaves”，《volume》：“105”，“author”：“van den Berg”，“year”：“2012”，“journal-title”：“Proc.Lond.Math.Soc.”}，{“key”：好友：2013.06.004_br0130“，”doi-asserted-by“：“crossref”，“第一页”：“1”，“DOI”：“10.1016\/S0022-4049（02）00259-1”，“文章标题”：“Bernays\u2013G\u00f6del类型理论”，“卷”：“178”，“作者”：“Butz”，“年份”：“2003”，“期刊标题”：“J.Pure Appl.Algebra”}，｛“key”：“10.1016\/J.apal.2013.06.004_br0140”，“系列标题”：“伯特兰·罗素纪念逻辑会议论文集”，“第一页”：“351”，“article-title”：“集合论的集合和模型的类别”，“author”：“Cole”，“year”：“1973”}，{“key”：“10.1016\/j.apal.2013.06.004_br0150”，“doi-asserted-by”：“crossref”，“first page”：”91“，“doi”：“101016\/0022-4049（80）90096-1”，“artice-title“：”集合论的剪切模型“，”卷：“19”，“作者”：“Fourman”，“年份”：“1980”，“新闻标题”：“j。纯应用程序。代数“}，{”问题“：“1”，“key”：“10.1016\/j.apal.2013.06.004_br0160”，“doi-asserted-by”：“crossref”，“首页”：“1“，”doi“：”10.1017\/S0004972700044828“，”文章标题“：”拓扑方面“，”卷“：”7“，”作者“：”Freyd“，”年份“：”1972“，”日志标题“Bull.Aust.Math.Soc.}”，{“key“：”“10.1016\/j.apal.2013.06.004_br0170”，“doi-asserted-by”：“交叉引用”，“首页“：”315“，”DOI“：”10.2307\/2272068“，”文章标题“：”经典集合论相对于直觉逻辑集合论的一致性“，”卷“：”38“，”作者“：”弗里德曼“，”年份“：”1973“，”期刊标题“：”符号逻辑“}，”键“：”10.1016\/J.apal.2013.06.004_br0180“，”DOI断言“：”crossref“，”首页“：”1“，”DOI“：”10.2307\/1971023“，“文章标题”：“为建设性分析奠定理论基础”，“卷”：“105”，“作者”：“弗里德曼”，“年份”：“1977年”，“期刊标题”：《数学年鉴》。“}，{”key“：”10.1016\/j.apal.2013.06.004_br0190“，”doi-asserted-by“：”crossref“，”first-page“：”1“，”doi“：”101016\/0001-8708（85）90103-3“，”article-title“：”直觉主义集合理论中缺少可定义的见证人和可证明的递归函数“，”volume“：“57”，”author“：”Friedman“，”year“：”1985“，”journal title“：“Adv.Math.”}，”{“key”：“”10.1016\/j.apal.2013.06.004_br0200“，”series-title“：《逻辑会议论文集》，”article-title“：”On-set theorys and toposes“，”volume“：”vol.891“，”author“：”Hayashi“，”year“：”1980“}，{”key“：“”author“：”Hyland“，”year“：”1982“}，{”key“：”10.1016\/j.apal.2013.06.004_br0220“，”series-title“：”Category Theory Proc.“，”article-title“：“合成域理论的第一步”，“volume”：“vol.1488”，“author”：“Hyland”，“year”：“1991”}，“key”：”10.106\/j-apal.2013.016.004_br 0230“，”doi-asserted-by“：”crossref“，”First page“205”“，”doi“：”10.1017\/S0305004100057534“，“文章标题”：“Tripos理论”，“卷”：“88”，“作者”：“Johnstone”，“年份”：“1980”，“期刊标题”：《数学》。程序。外倾角。Phil.Soc.“}，{“key”：“10.1016\/j.apal.2013.06.004_br0240”，“article-title”：“大象素描：拓扑理论简编，第1\u20132卷”，“卷”：“vol.43\u201344”，“author”：“Johnstone”，“year”：“2002”}，}“key”：，“author”：“Joyal”，“year”：“1995”}，{“key”：“10.1016\/j.apal.2013.06.004_br0260“，”article-title“：”合成微分几何“，”volume“：”vol.333“，”author“：”Kock“，”year“：”2006“}，{“key”：“10.1016\/j.apal.2013.0604_br0270”，”doi-asserted-by“：”crossref“，”first page“：“879”，”doi“：”10.2178\/jsl\/112038918“，”article-title“：”代数集合理论和有效拓扑“，”卷“：”70“，”作者“：”Kouwenhoven Gentil”，“年份”：“2005”，“期刊标题”：“J.符号逻辑”}，{“密钥”：“10.1016\/J.apal.2013.06.004_br0280”，“文章标题”：“高阶分类逻辑导论”，“卷”：“第7卷”，“作者”：“Lambek”，“年份”：“1986”}，{“密钥”：“10.1016\/J.apal.2013.06.004_br0290”，“系列标题”：“数学家集”，“作者”：“Lawvere”，“年份”：“2003”}，{“key”：“10.1016\/j.apal.2013.06.004_br0300”，“series-title”：“Sheeves in Geometry and Logic”，“author”：“Mac Lane”，“year”：“1992”}，{”key“：”10.1016\/j.apal.2013.06.004_br0310“，”first page“：“501”，”article-title“：”Topos theory“，”volume“1”，”author“：”Mac Lane“，”year“1996”}好友2013.06.004_br0320“，”doi-asserted-by“：”crossref“，“首页”：“107”，“DOI”：“10.1016\/S0168-0072（00）00031-2”，“article-title”：“Mac Lane集合理论的力量”，“卷”：“110”，“作者”：“Mathias”，“年份”：“2001”，“期刊标题”：“Ann.Pure Appl.Logic”}，{“key”：“101016\/j.apal.2013.06.004_br0330”，“series-title”：”可实现性和递归数学“，”作者“：”McCarty“，“年份“：”1984年“}，{”键“：“10.1016\/j.apal.2013.06.004_br0340”，“doi-asserted-by”：“crossref”，“first page”：“261”，“doi”：“10.106\/0022-4049（72）90006-0”，“article-title”：“布尔拓扑学和集合论”，“volume”：”2“，“author”：“Mitchell”，”year“1972”，“journal-title“：”j.Pure Appl.Algebra“}，{”key“：”10.1016\/j.apal.2013.06 _br0350“，”doi-asserted-by“：”crossref“，“首页”：“189”，“DOI”：“10.1016\/S0168-0072（00）00012-9”，“article-title”：“类别中资金充足的树”，“卷”：“104”，“作者”：“Moerdijk”，“年份”：“2000”，“日志标题”：“Ann.Pure Appl.Logic”}，{“key”：“101016\/j.apal.2013.06.004_br0360”，“DOI-asserted-by”：“crossref”，”首页“155”，《DOI》：“10.1016\/S0168-0072（01）00079-3”，“文章标题”：“类型理论、拓扑学和建构集理论：AST的预测方面”，“卷”：“114”，“作者”：“Moerdijk”，“年份”：“2002”，“期刊标题”：“Ann.Pure Appl.Logic”}，{“key”：“10.1016\/j.apal.2013.06.004_br0370”，“series-title”：“平滑无穷小分析模型”，“author”：“莫尔迪克”，“year”：“1991”}、{“key”：“10.1016\/j.apal.2013.06.004_br0380”，“doi-asserted-by”：“crossref”，“first page”：“347”，“doi”：“10.2307\/2272159”，“article-title”：“构造集理论”，“volume”：”40“，“author”：“Myhill”，“year”：“1975”，“journal-title“：”j.Symbolic Logic“}，{“key”：《10.1016\/j.apal.2013.0604_br0390》：“可实现性：其范畴方面简介”，“卷”：“第152卷”，“作者”：“van Oosten”，“年份”：“2008”}，{“关键”：“10.1016\/j.apal.2013.06.004_br0400”，“doi-asserted-by”：“crossref”，《首页》：“79”，“doi”：“101016\/0022-4049（74）90032-2”，“article-title”：“范畴集合理论：集合范畴的表征”，“卷宗”：“4”，“author”“”：“Osius”，“year”：“1974”，“journal-title”：“J.Pure Appl.Algebra”}，{“key”：“10.1016\/J.apal.2013.06.004_br0410”，“series-title”：《致H.B.Curry：组合逻辑、Lambda微积分和形式主义的论文》，“首页”：“403”，“article-title“Lambda-Calculus的相关理论”，“author”：“Scott”，“年份”：“1980”}、{“key”：“10.1016\/j.apal.2013.06.004_br0420”，“author”：“Shulman”}，{“key”：“10.116\/j-apal.2013.016.004_br 0430”，“series-title”：“Proc.14th Annual IEEE Conference on Logic in Computer Science”，“first-page:”77“，“article-title”：”类的基本公理“，”author“：”Simpson“，”year“：”1999“}”，{”issue“：”1\u20133“，”key“：“10.1016\/j.apal.2013.06.004_br0440”，“doi-asserted-by”：“crossref”，“first page”：“207”，“doi”：“10.116\/j-apal.2003.12.005”，“article-title”：“直觉主义集合论模型中递归类型的计算充分性”，“volume”：”130“，”author“：”Simpson“，”year“2004”，“journal-title“：”Ann.Pure Appl.Logic“}，{”key“：“10.1016\/j.apal.2013.06.004_br0450”，“series-title”：“从集合和类型到拓扑和分析：走向构造数学的实用基础”，“article-title”：“构造集合理论及其分类理论模型”，“author”：“Simpson”，“year”：“2005”}，{“key”：”10.1016\/j.apal.2013.0604_br0460“seriest-title“：“数学中的建构主义（2卷）”，“作者”：“Troelstra”，“年份”：“1988”}，{“key”：“10.1016\/j.apal.2013.06.004_br0470”，“series-title”：“Harvey Friedman\u02bcs数学基础研究”，“首页”：“257”，“文章-标题”：“直觉主义集合论”，“卷”：“第117卷”，“作家”：“u0160\u010dedrov”，“年”：“1985”}]，“container-title”：[“Pure and Applied Logic年鉴”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0168007213000730？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0168007213000730？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2018,10,14]]，“date-time”：”2018-10-14T18:54:08Z“，“timestamp”：153954324800}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0168007213000730”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2014,2]}，”references-count“：47，”journal-issue“：{”issue“：“2”，“published-print”：{“date-ports”：[2014,2]}}、“alternative-id”：[”S01680072113000730“]，”URL“：“http://\/dx.doi.org\/10.1016\/j.apal.2013.06.004”，“关系”：{}，“ISSN”：[“0168-0072”]，“ISSN-type”：[{“value”：“0168-0072”，“type”:“print”}]，“subject”：【】，“published”：{“date-parts”：【2014年2月2日】}，“assertion”：【{“value”：“Elsevier”，“name”：“publisher”，“label”：“本文由”}维护，{“值”：“关联一阶集合理论、拓扑和类的类别”，“名称”：“文章标题”，“标签”：“论文标题”}，{“value”：“Pure and Applied Logic年鉴”，“name”：“journalttle”，“label”：“Journal Title”}，{”value“：”https:\/\/doi.org\/10.1016\/j.apal.2013.06.004“，”name“：”articlelink“，”label“：”CrossRef doi link to publisher maintained version“}，”{“value”：“article”，“name:”content_type“，”标签“：”content-type“}”，{值“：”Copyright \u00a9 2013 Elsevier B.V。保留所有权利。“，”name“：”copyright“，”label“：”copyright”}]}}