{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,1]]，“日期-时间”：“2022-04-01T21:58:29Z”，“时间戳”：1648850309617}，“参考-计数”：22，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“8”，“许可证”：[{“开始”：{-date-parts“：[2016,22]]，”日期-时间“：“2016-06-22T00:00:00Z”，“时间戳”用法：1466553600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,12]]}继诺曼和作者关于顺序性的著作之后（诺曼2006计算机科学中的数学结构16<\/jats:bold>（2）279\u2013289；诺曼和萨佐诺夫2012纯逻辑与应用逻辑年鉴163（5）575\u2013603；萨佐诺夫2007计算机科学中的逻辑方法3<\/jats:bold（3:7）1\u201350）非dcpo</jats:italic>领域理论变得明显。本文将连续dcpo域的范畴推广到\u2018自然\u2019连续的范畴以\u2018naturally\u2019连续映射为箭头的非dcpo<\/jats:italic>域。后者的一个完整子范畴，假设域的一种有界完备要求，并且每个域中都存在\u22a5，证明了它是笛卡尔闭的，并且等价于Ershov的一般A-空间的一个子类（Ershov 1974代数与逻辑学12（4）369\u2013416）。这扩展了Scott（代数）域的非dcpo推广，引入并证明其等价于Ershov的一般f空间（Ershov 1972代数与逻辑11（4）367\u2013437），Sazonov（2007年同前引书；2009年纯逻辑与应用逻辑年鉴159（3）341\u2013355）<\/jats:p>当前的自然领域方法(v<\/jats:italic>-domains）不同于f-spaces和A-spaces，因为它出现在Sazonov（2007 op.cit.）中，与为某些版本的PCF over Integers语言定义完全抽象模型的方式不同，而Ershov的方法最初与完全抽象无关，f-空间和A-空间的非dcpo版本最初被认为是抽象（主要是拓扑）样式。本文致力于研究自然连续的自然域(v连续v</jats:italic>-domains），我们也以抽象（主要是顺序理论）的方式工作，但希望通过探索和改编Escard\u00f3（1996）中的思想，在未来将其与PCF over Reals的思想联系起来理论计算机科学162（1）79\u2013115），Escard\u00f3等人（2004）计算机科学中的数学结构，14（6），剑桥大学出版社803\u2013814），Marcial-Romero和Escard\u00f3（2007年理论计算机科学379（1-2）120\u2013141），萨佐诺夫（2007年同前）<\/jats:p>“，”DOI“：”10.1017\/s0960129516000165“，”type“：”journal-article“，”created“：{”date-parts“：[[2016,6,22]]，”date-time“：”2016-06-2T21:57:16Z“，”timestamp“：1466632636000}“，”page“：“1521-1552”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“在自然连续的非dcpo域上”]，“前缀”：“10.1017”，“卷”：“27“，”作者“：[{”给定“：”VLADIMIR“，”family“：”SAZONOV“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2016,6,22]]}，”reference“：[{”key“：”S0960129516000165_ref4“，”doi-asserted-by“：由“：”publisher“，”doi“：”10.2168\/LMCS-3（3:7）2007“}插入，{”key“：”S0960129516000165_ref18“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01876321”}，{“key”：“S09601290516000165 _ref13”，“unstructured”：“Nickau H.（1996）。遗传序列函数：序列性的博弈论方法，Siegen大学博士论文。”}、{“key”：10.1016\/0304-3975（78）90040-3“}，{“key”：“S096019516000165_ref21”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.apal.2008.09.027”}，}“key”：”S0960129516000165_rf12“，“doo-asserted-by”：”publisher“，”doi“：”10.1016\\j.tcs.2007.01.021“}”，{”key“：”S0.901295160000165_ref11“，”doi-assert ted-by“：”publisher“，”doi“：”10.1006\/inco.2000.2917“}，{”key“：”S0960129516000165_ref2“，“首页”：“1”，“卷标”：“计算机科学中的逻辑手册”，“作者”：“Abramsky”，“年份”：“1994”}，{“密钥”：“S096019516000165_ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975“10.1016\/S0049-237X（08）71120-0”}，{“密钥”：“S0960129516000165_ref10“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511542725“}，{“key”：“S096019516000165_rf6”，“first page”：”369“，”article-title“：”A spaces“，”volume“：”12“，”author“：”Ershov“，”year“：”1974“，”journal-title”：“Algebra and Logics”}，}“key:”S09019516000165 _ref19“，”非结构化“：”Sazonov V.Y.（1976c）《应用算法语言的语义》，新西伯利亚数学研究所博士论文（俄语）。“｝，｛”key“：”S0960129516000165_ref17“，”首页“：”648“，”文章标题“：”可串行和并行计算的函数“，”卷“：”17“，”作者“：”Sazonov“，”年份“：”1976“，”期刊标题“：”Sibirskii Matematicheskii Zhurnal“｝，｛”key“：”S0960129516000165_ref5“，”doi断言“：”publisher“，”doi“：”10.1007\/BF0219096“｝，｛”key“：”S09601295165165165165 000165_ref16“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（77）90044-5“}，{“key”：“S0960129516000165_ref1”，“doi-assert-by”：“publisher”，“doi”：“10.1006\/inco.2000.2930”}，“key“：”S0901295160000165_ref14“，”doi-assetd-by“：”publisher“，”doi“：960129516000165_ref8“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/S0960129504004360“}，{“key”：“S0960129516000165_ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.apal.2011.06.013”}，}“key:”S096019516000165_rf9“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/j.ic.2008.12.003“}]，“container-tite”：[“计算机科学中的数学结构”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129516000165“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,4,15]]，“date-time”：”2019-04-15T22:19:40Z“timestamp”：1555366780000}，“score”：1，“resource”：{“primary”：{“URL”：“https://www.cambridge.org\/core\/product\/identifier\/S09960129516000165\/type\/journal_article“｝｝”，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2016,6,22]]｝，“参考文献数”：22，“期刊发行”：｛“发行”：“8”，“已发布印刷品”：｛“日期部分”：[[2017,12]}｝，“替代id”：[“S0960129516000165”]，“URL”：“http:\/\/dx.doi.org\/10.1017\/s0960129516000165“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”value“：”09601295“，”type“:”print“}，{”value“：”1469-80072“，”类型“：”electronic“}]，”主题“：[]，”已发布“：{”date-parts“：[2016,22]]}}}}