{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,10]]，“日期-时间”：“2024-07-10T15:22:20Z”，“时间戳”：1720624940144}，“引用-计数”：29，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{“日期-零件”：[[1999,1,1]]，”日期-时间“：”1999-01T00:00:00Z“，”timestamp“：915148800000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：5323，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[1999]]}，”DOI“：”10.1016\/s1571-0661（04）80084-7“，”type“：”journal-article“，”created“：{”date-part“：[[2004,12,13]]，”date-time“：”2004-12-13T17:55:14Z“，”timestamp“：1102960514000}，‘page’：”375-398“，”source“Crossref”，“is-referenced-by-count”：3，“special_numbering”：“C”，“title”：[“基于可数的等价空间的最大拓扑子类”]，“前缀”：“10.1016”，“卷”：“20”，“作者”：[{“给定”：“Mat\u00edas”，“家族”：“Menni”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Alex”，“family”：“Simpson”，“序列”：“additional”，“从属关系”：[]}]，“成员”：“78”，“reference”：[{“key”：“10.1016\/S1571-0661（04）80084-7_NEWBIB1”，“unstructured”：“A.Bauer，L.Birkedal and D.S.Scott，Equilogical spaces，Submitted scriptage，1998.”}，{“key”：“101016\/S1571-0661：“领域理论中的集合和对象总数”，“卷”：“60”，“作者”：“Berger”，“年份”：“1993”，“期刊标题”：“纯逻辑和应用逻辑年鉴”}，{“关键字”：“10.1016\/S1571-0661（04）80084-7_NEWBIB3”，“series-title”：“从属和跨有限类型的连续函数”，“作家”：“伯杰”，“年”：“1997”}、{“key”：“10.0016\/S1571-0661“”，“doi-asserted-by”：“crossref”，“unstructured”：“A.Carboni和G.Rosolini，局部笛卡尔闭精确补足，提交给《纯粹与应用代数杂志》，1998年。”，“doi”：“10.1016\/S0022-4049（96）00115-6”}，{“key”：“101016\/S1571-0661（04）80084-7_NEWBIB5”，“series-title”：“晶格与秩序的信息”，“author”：“Davey”，“year”：“1990”}，{“key”：“10.1016\/S1571-0661（04）80084-7_NEWBIB6”，“doi-asserted-by”：“crossref”，“doi”：“101016\/0022-4049（72 B7“，”doi-asserted-by“：”crossref“，“首页”：“107”，“DOI”：“10.4064\/fm-571-107-115”，“文章标题”：“序列足够的空格”，“卷”：“57”，“作者”：“富兰克林”，“年份”：“1965”，《日记标题》：“Fund.Math”}，{“key”：“10.1016\/S1571-0661（04“：”10.1016\/S1571-0661（04）80084-7_NEWBIB9“，“series-title”：“逻辑座谈会”，“article-title”：“泛函之间的等式”，“author”：“Friedman”，“year”：“1975”}，{“key”：”10.1016\/S1571-0661（04）80084-7_NEWBIB10“，”series-title“：”A Compendium of Continuous Lattices“，”author“：”Gierz“，“year:”1980“R。赫克曼，《关于过滤空间和均衡空间之间的关系》，手稿，1998年。“}，{“key”：“10.1016\/S1571-0661（04）80084-7_NEWBIB12”，“doi-asserted-by”：“crossref”，“unstructured”：“J.M.E.Hyland，空间拓扑的连续性，in:Sheeves的应用，数学讲义753（1979），pp.442\ue4f8465。”，“doi”：“10.1007\/BFb0061827“}，{“key”：“10.1016\/S1571-0661（04）80084-7_NEWBIB13”，“doi-asserted-by”：“crossref”，“first page”：”101“，“doi”：“101016\/0003-4843（79）90006-8”，“article-title”：“Filter spaces and continuous functionals”，“volume”：：“16”，“author”：“Hyland”，“year”：“1979”，“journal-title“Annals of Mathematicals Logic”}，}“密钥”：“10.1016\/S1571-0661（04）80084-7_NEWBIB14“，“非结构化”：“J.M.E.Hyland，合成域理论的第一步，in:范畴理论，论文集，Como 1990，数学课堂笔记1488（1990）。“}，{”key“：”10.1016\/S1571-0661（04）80084-7_NEWBIB15“，”doi-asserted-by“：”crossref“，”unstructured“：”P.T.Johnstone，On a topological topos，Proceedings of the London Mathematical Society 38（1979），pp.237\u2013271.“，”doi“：”101112\/plms\/s3-38.2.237“}”，{“，”非结构化“：”A Jung，《麻烦的概率powerdomain》，《理论计算机科学电子笔记》13（1998），网址：http://www.elsevier.nl\/locate\/entcs\/volume13.html。“，”DOI“：”10.1016\/S1571-0661（05）80216-6“}，{“key”：“10.1016\/S1571-661（04）80084-7_NEWBIB17”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.Kreitz and K.Weihrauch，《表示论》，理论计算机科学38（185），第35-53页。”，“DOI”：“1016\/0304-3975（85）90208-7”}，“{“key”：84-7_NEWBIB18“，”非结构化“：”C。Kuratowski，“拓扑学”，“Warsawa，1952”}，{“key”：“10.1016\/S1571-0661（04）80084-7_NEWBIB19”，“series-title”：“数学研究生课文”，“doi-asserted-by”：“crossref”，“doi”：“101007\/9781-4612-9839-7”，”article-title“：工作数学家的类别”，“author”：“Lane”，“year”：“1971”}571-0661（04）80084-7_NEWBIB20“，”非结构化“：”D.Normann，《实域上有限类型的连续泛函》，手稿，1998年。“}，{”key“：”10.1016\/S1571-0661（04）80084-7_NEWBIB21“，”unstructured“：”D.Normann和G.Waagb\u00f8，极限空间和超有限类型，手稿。Rosick\u00fd，笛卡尔闭合精确补全，可从Hypatia电子图书馆获得：URL:http:\/\/Hypatia.dcs.qmw.ac.uk，1997.“｝，｛“key”：“10.1016/S1571-0661（04）80084-7_NEWBIB23”，“非结构化”：“G.Rosolini，等价空间和过滤空间，手稿，1998。”｝，｛“key”：“10.1016/S1571-0661（04）80084-7_NEWBIB24”，“非结构化”：“G。Rosolini，L.Birkedal，A.Carboni和D.S.Scott，通过精确范畴的类型理论，In:第13届计算机科学逻辑年度研讨会论文集，1998年，第188\u2013198页。“}，{“键”：“10.1016\/S1571-0661（04）80084-7_NEWBIB25”，“首页”：“123”，“文章-标题”：“更高类型的酒吧递归模型”，“卷”：“23”，“作者”：“Scarpellini”年份”：“1971年”，“新闻标题”：“公司。数学“}，{“key”：“10.1016\/S1571-0661（04）80084-7_NEWBIB26”，“doi-asserted-by”：“crossref”，“unstructured”：“D.S.Scott，Continuous lattices，In:Topose，Algebraic Geometry and Logic，数学讲义274（1972），第97-136页。”，“doi”：“101007\/BFb0073967”}，“key“：”10.1016\/S1571-661（04）800 84-7_NEWBIB27“，”doi-assert-by“：“crossref”，“首页“：”522“，”DOI“：”10.1137\/0205037“，”article-title“：”数据类型为格“，”volume“：”5“，”author“：”Scott“，”year“：”1976“，”journal-title”：“SIAM journal of Computing”}，{“key”：“10.1016\/S1571-0661（04）80084-7_NEWBIB28”，“series-title”：”《计算机科学逻辑手册》，第1卷“，”article-title“：”Topology“，”author“”：“Smyth”，“年份”：“1992”}，{key“：”10.1016\/S1571-0661（04）80084-7_NEWBIB29“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Weihrauch和G.Schafer，有效cpo的可接受表示，理论计算机科学26（1983），pp.131\u2013147.“，”doi“：”101016\/0304-3975（83）90083-X“}]，”container-title“：[理论计算机科学中的电子笔记”]，“original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066104800847？httpAccept=text\.xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://api.elsevier.com/content\/aarticle\/PII:S157106 6104800847-httpAccept=text\/plain“，”content-type“：”text\/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：{”date-parts“：[[2023,4,30]]，”date-time“：”2023-04-30T21:25:40Z“，”timestamp“：1682889940000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104800847”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[[1999]]}，“references-count”：29，“alternative-id”：[“S1571066104800847”]，“URL”：“http://\/dx.doi.org\/101016\/s1571-0661（04）80084-7”，“关系”：{}，“ISSN”：[”1571-0671“]，“ISSN-type”：[{“value”：“1571-0691”，“type”:“print”}]，“主题”：[]，“发布”：{“date-parts”：[[1999]]}}}}