×
吴明远;郭兰坤;李庆国

代数域和代数L域通过闭包系统的新表示。 （英语） Zbl 1508.06004号

半群论坛 103，第2号，700-712（2021）.
总结：闭包系统（空间）在表征某些有序结构方面起着重要作用。在本文中，FinSet-bounded代数闭包空间介绍了代数域的概念，并用它提供了一种构造代数域的新方法。然后，一类特殊的代数闭包空间，代数L-闭包空间，用于表示代数L域。接下来，代数近似映射定义了代数闭包空间和代数L-闭包空间之间的适当态射。在范畴层面上，我们证明了代数闭包空间（分别为代数L-闭包空间），每个空间都配备有作为态射的代数近似映射，等价于具有作为态射的Scott连续函数的代数域（分别为代数L-域）。

引用于2文件

MSC公司：

2015年1月6日 伽罗瓦对应，闭包运算符（关于有序集）
06B35号 连续格和偏序集，应用
18层60 拓扑空间和连续映射的范畴

关键词：

代数域;代数L域;封闭系统;范畴等价
PDF格式BibTeX公司 XML格式引用
\textit{M.Wu}等人，半群论坛103，第2期，700-712（2021；Zbl 1508.06004）
全文： 内政部

参考文献：

[1] Birkhoff，G.，格点理论（1967），普罗维登斯：美国数学学会，普罗维登斯·Zbl 0153.02501号
[2] 北卡罗来纳州卡斯帕德。；Monjardet，B.，有限集上闭包系统的一些格，Disc。数学。西奥。计算。科学。，6, 163-190 (2004) ·Zbl 1062.06005号
[3] 北卡罗来纳州卡斯帕德。；Monjardet，B.，有限集上的闭包系统、闭包算子和蕴涵系统的格：综述，Disc。申请。数学。，127, 241-269 (2003) ·Zbl 1026.06008号 ·doi:10.1016/S0166-218X（02）00209-3
[4] Davey，文学学士；Priestley，HA，《格与秩序导论》（2002），剑桥：剑桥大学出版社，剑桥·Zbl 1002.06001号 ·doi:10.1017/CBO9780511809088
[5] Edelman，PH，Meet分配格和反交换闭包，代数大学，10290-299（1980）·Zbl 0442.06004 ·doi:10.1007/BF02482912
[6] Edelman，PH；Saks，ME，凸几何的组合表示和凸维数，Order，5，23-32（1988）·Zbl 0659.06005号 ·doi:10.1007/BF00143895
[7] Gierz，G。；霍夫曼，KH；Keimel，K。；劳森，JD；失恋，MW；Scott，DS，《连续格与域》（2003），剑桥：剑桥大学出版社，剑桥·Zbl 1088.06001号 ·doi:10.1017/CBO9780511542725
[8] 郭，LK；Li，QG，代数域与F-增广闭包空间之间的范畴等价，Order，32，101-116（2015）·Zbl 1337.06003号 ·doi:10.1007/s11083-014-9318-8
[9] 霍夫曼，KH；Stralka，AR，紧Lawson半格的代数理论：Galois连接在紧半格中的应用，论文。数学。，137, 1-54 (1976) ·Zbl 0359.06016号
[10] Larsen，K.G.，Winskel，G.：使用信息系统有效地求解域方程。收录：Kahn，G.，MacQueen，D.B.，Plotkin，G.（编辑）《数据类型的语义》。计算机科学课堂讲稿，第173卷，第109-129页。柏林施普林格（1984）·兹伯利0539.68019
[11] 雷，Y。；罗，M.，《粗糙概念格和域》，Ann.Pure Appl。逻辑，159，333-340（2009）·Zbl 1169.06004号 ·doi:10.1016/j.apal.2008.09.028
[12] Pfaltz，JL，闭合格，离散。数学。，154, 217-236 (1996) ·Zbl 0852.06002号 ·doi:10.1016/0012-365X（96）00043-X
[13] Pfaltz，JL；Jamison，RE，封闭系统及其结构，信息科学。，139, 3-4, 275-286 (2001) ·Zbl 0993.06004号 ·doi:10.1016/S0020-0255（01）00169-4
[14] Raney，GN，完全分配完备格，Proc。美国数学。学会，3，5，677-680（1952年）·Zbl 0049.30304号 ·doi:10.1090/S0002-9939-1952-0052392-3
[15] Scott，D.：连续格。收录于：Lawvere，F.W.（编辑）《拓扑、代数几何和逻辑》。数学课堂讲稿，第274卷，第97-136页。柏林施普林格（1972）·Zbl 0239.54006号
[16] Winskel，G.：事件结构简介。收录：de Bakker，J.W.，de Roever，W.P.，Rozenberg，G.（编辑）《逻辑与并发模型中的线性时间、分支时间和偏序》。计算机科学课堂讲稿，第354卷，第364-397页。柏林施普林格（1989）·兹伯利0683.68074
[17] Zhao，DS，闭包空间和偏序集的完成，半群论坛，90，543-555（2015）·Zbl 1467.06001号 ·doi:10.1007/s00233-015-9692-6
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。