θ-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 条
  • [31] Amodal completion in infants: Straight continuity versus symmetry
    Takashima, Midori
    Kanazawa, So
    Yamaguchi, Masami K.
    Shiina, Ken
    [J]. JAPANESE PSYCHOLOGICAL RESEARCH, 2011, 53 (01) : 103 - 108
  • [32] Quasi product on Boolean D-posets
    Kopka, Frantisek
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2008, 47 (01) : 26 - 35
  • [33] On a representation of finite Boolean D-posets
    Chovanec, F
    Kopka, F
    [J]. TATRA MOUNTAINS MATHEMATICAL PUBLICATIONS, VOL 15, 1998: QUANTUM STRUCTURES II, 1998, : 107 - 121
  • [34] Conditional states and independence in D-posets
    Chovanec, Ferdinand
    Drobna, Eva
    Kopka, Frantisek
    Nanasiova, Olga
    [J]. SOFT COMPUTING, 2010, 14 (10) : 1027 - 1034
  • [35] Boolean D-Posets as the Factor Spaces
    Frantisek Kopka
    [J]. International Journal of Theoretical Physics, 1998, 37 : 93 - 101
  • [36] CONCURRENCY AXIOMS AND D-CONTINUOUS POSETS
    BEST, E
    MERCERON, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 32 - 47
  • [37] Coproducts of D-posets and their application to probability
    Fric, R
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2004, 43 (7-8) : 1625 - 1633
  • [38] Coproducts of D-Posets and Their Application to Probability
    Roman Frič
    [J]. International Journal of Theoretical Physics, 2004, 43 : 1625 - 1633
  • [39] Boolean D-posets as the factor spaces
    Kopka, F
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1998, 37 (01) : 93 - 101
  • [40] Conditional states and independence in D-posets
    Chovanec Ferdinand
    Drobná Eva
    Kôpka František
    Nánásiová Oľga
    [J]. Soft Computing, 2010, 14 : 1027 - 1034