Dcpo-completion of posets

Theoretical Computer Science

Volumn 411, Issue 22-24, 2010, Pages 2167-2173

  Zhao, Dongsheng ^a   Fan, Taihe ^b  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

^b ZHEJIANG SCI TECH UNIVERSITY   (China)

Author keywords

Continuous dcpo; Continuous poset; D completion; Local dcpo

Indexed keywords

CLOSED SET;

ALGEBRA;

EID: 77950814386     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2010.02.020     Document Type: Article

References (18)

1. Adaricheva K.V., Gorbunov V.A., and Semenova M.V. On noncomplete continuous lattices. Algebra Universalis 46 1-2 (2001) 215-230
2. Banaschewski B. On the topologies of injective spaces. Continuous Lattices and their Applications. Lecture Notes in Pure and Applied Mathematics vol. 101 (1985) 1-8
3. Erné B. Z-continuous posets and their topological manifestation. Appl. Categ. Structures 7 (1999) 31-70
4. Erné B., and Zhao D. Z-join spectra of Z-supercompactly generated lattices. Appl. Categ. Structures 9 (2001) 41-63
5. Flagg R.C., and Slünderhauf P. The essence of ideal completion in quantitative form. Theoret. Comput. Sci. 278 1-2 (2002) 14-158
6. Gierz G., et al. Continuous lattices and Domains. Encyclopedia of Mathematics and its Applications vol. 93 (2003), Cambridge University Press
7. Ho W., and Zhao D. Lattices of Scott-closed sets. Comment. Math. Univ. Carolin. 50 2 (2009) 297-314
8. Hoffmann R.E. Continuous posets-prime spectra of completely distributive lattices, and Hausdorff compactification. Lecture Note in Mathematics vol. 871 (1981) 159-208
9. Isbell J.R. Completion of a construction of Johnstone. Proc. Amer. Math. Soc. 85 (1982) 333-334
10. Johnstone P.T. Scott is not always sober. Continuous Lattices. Lecture Note in Mathematics vol. 871 (1981) 282-283
11. Lawson J.D. The duality of continuous posets. Houston J. Math. 5 (1979) 357-394
12. Keimel K., and Lawson J.D. D-completions and the d-topology. Ann. Pure Appl. Logic 159 3 (2009) 292-306
13. Mislove M.W. Local DCPOs, local CPOs and local completions. Electron. Notes Theor. Comput. Sci. 20 (1999)
14. Raney G.N. Completely distributive complete lattices. Proc. Amer. Math. Soc. 3 (1952) 677-680
15. A. Jung, M.A. Moshier, S. Vickers, Presenting dcpos and dcpo algebras, Preprint.
16. Xu L. Continuity of posets via Scott topology and sobrification. Topology Appl. 153 11 (2006) 1886-1894
17. Zhao B., and Zhao D. The lim-inf convergence on partially ordered sets. J. Math. Anal. Appl. 309 (2005) 701-708
18. Zhao D. N-compactness in L-fuzzy topological spaces. J. Math. Anal. Appl. 128 (1987) 64-79