θ-continuity and Dθ-completion of posets

被引:2
|
作者
Zhang, Zhongxi [1 ,2 ]
Li, Qingguo [1 ]
Jia, Xiaodong [1 ,2 ]
机构
[1] Hunan Univ, Coll Math & Econometr, Changsha 410082, Hunan, Peoples R China
[2] Univ Birmingham, Sch Comp Sci, Birmingham B15 2TT, W Midlands, England
基金
中国国家自然科学基金; 高等学校博士学科点专项科研基金;
关键词
SCOTT TOPOLOGY;
D O I
10.1017/S0960129517000020
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We introduce a new concept of continuity of posets, called theta-continuity. Topological characterizations of theta-continuous posets are put forward. We also present two types of dcpo-completion of posets which are D-theta-completion and D-s2-completion. Connections between these notions of continuity and dcpo-completions of posets are investigated. The main results are (1) a poset P is theta-continuous iff its theta-topology lattice is completely distributive iff it is a quasi theta-continuous and meet theta-continuous poset iff its D-theta-completion is a domain; (2) the D-theta-completion of a poset B is isomorphic to a domain L iff B is a theta-embedded basis of L; (3) if a poset P is theta-continuous, then the D-theta-completion D-theta(P) is isomorphic to the round ideal completion RI(P, <<(theta)).
引用
收藏
页码:533 / 547
页数:15
相关论文
共 50 条
  • [1] COMPLETION FOR EQUIPPED POSETS
    Canadas, Agustin Moreno
    Giraldo, Hernan
    [J]. JP JOURNAL OF ALGEBRA NUMBER THEORY AND APPLICATIONS, 2012, 26 (02): : 173 - 196
  • [2] Completion of S-posets
    Rasouli, H.
    [J]. SEMIGROUP FORUM, 2012, 85 (03) : 571 - 576
  • [3] Dcpo-completion of posets
    Zhao Dongsheng
    Fan Taihe
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (22-24) : 2167 - 2173
  • [4] Completion of S-posets
    H. Rasouli
    [J]. Semigroup Forum, 2012, 85 : 571 - 576
  • [5] Meet continuity properties of posets
    Mao, Xuxin
    Xu, Luoshan
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (42) : 4234 - 4240
  • [6] On generic continuity of maps to posets with metrics
    Yang, Zhongqiang
    Li, Dongchao
    Xu, Xiaoquan
    Li, Zhiming
    [J]. TOPOLOGY AND ITS APPLICATIONS, 2022, 311
  • [7] Which posets have a scattered MacNeille completion?
    Maurice Pouzet
    Hamza Si Kaddour
    Nejib Zaguia
    [J]. algebra universalis, 2005, 53 : 287 - 299
  • [8] Which posets have a scattered MacNeille completion?
    Pouzet, M
    Kaddour, HS
    Zaguia, N
    [J]. ALGEBRA UNIVERSALIS, 2005, 53 (2-3) : 287 - 299
  • [9] The exact completion for regular categories enriched in posets
    Aravantinos-Sotiropoulos, Vasileios
    [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2022, 226 (07)
  • [10] SIMULTANEOUS LATTICE AND TOPOLOGICAL COMPLETION OF TOPOLOGICAL POSETS
    MILLER, JB
    [J]. COMPOSITIO MATHEMATICA, 1975, 30 (01) : 63 - 80