D-completions and the d-topology

Annals of Pure and Applied Logic

Volumn 159, Issue 3, 2009, Pages 292-306

  Keimel, Klaus ^a,b   Lawson, Jimmie D ^a,b  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b LOUISIANA STATE UNIVERSITY   (United States)

Author keywords

Dcpo's; Directed completions; Monotone convergence space; Sobrification

Indexed keywords

EID: 65049087885     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2008.06.019     Document Type: Article

References (26)

1. Abramsky S., and Jung A. Domain Theory. In: Abramsky S., et al. (Ed). Handbook of Logic in Computer Science vol. 3 (1995), Clarendon Press
2. 0-spaces. General Topology and its Applications 7 (1977) 233-246
3. Battenbeld O., Schröder M., and Simpson A. Compactly generated domain theory. Mathematical Structures in Computer Science 16 (2006) 141-161
4. Erné M. Scott convergence and Scott topology in partially ordered sets II. In: Banaschewski B., and Hoffmann R.-E. (Eds). Continuous Lattices, Proceedings, Bremen 1979. Lecture Notes in Mathematics vol. 871 (1981), Springer Verlag 61-96
5. Erné M. The ABC of order and topology. In: Herrlich H., and Porst H.-E. (Eds). Category Theory at Work (1991), Heldermann Verlag, Berlin 57-83
6. Erné M. Minimal bases, ideal extensions, and basic dualities. Topology Proceedings 29 (2005) 445-489
7. Ershov Yu.L. Theory of domains and nearby. In: Bjorner D., et al. (Ed). Methods in Programming and their Applications. Lecture Notes in Computer Science vol. 735 (1993), Springer Verlag 1-7
8. Ershov Yu.L. The bounded complete hull of an α-space. Theoretical Computer Science 175 (1997) 3-13
9. Ershov Yu.L. On d-spaces. Theoretical Computer Science 224 (1999) 59-72
10. Escardó M., Lawson J., and Simpson A. Comparing cartesian closed categories of core compactly generated spaces. Topology and its Applications 143 (2004) 105-145
11. Gierz G., Hofmann K., Keimel K., Lawson J., Mislove M., and Scott D. Continuous Lattices and Domains (2003), Cambridge University Press
12. Gruenhage G., and Streicher T. Quotients of countably based spaces are not closed under sobrification. Mathematical Structures in Computer Science 16 (2006) 223-229
13. s X. Pacific Journal of Mathematics 83 (1979) 145-156
14. Hoffmann R.-E. Sobrification of partially ordered sets. Semigroup Forum 17 (1979) 123-138
15. Hoffmann R.-E. Projective sober spaces. In: Banaschewski B., and Hoffmann R.-E. (Eds). Continuous Lattices Proceedings, Bremen 1979. Lecture Notes in Mathematics vol. 871 (1981), Springer Verlag 125-158
16. 0-spaces and pointwise convergence. Topology and its Applications 21 (1985) 73-76
17. Lawson J. The round ideal completion via sobrification. Topology Proceedings 22 (1997) 261-274
18. Loeckx J., and Sieber K. The Foundations of Program Verification. Wiley - Teubner Series in Computer Science (1984)
19. MacLane S. Categories for the Working Mathematician. 2nd edition (1997), Springer
20. Mao X., and Xu L. Quasicontinuity of posets via Scott topology and sobrification. Order 23 (2006) 359-369
21. Mislove M. Local DCPOs, local CPOs and local completions. Electronic Notes in Theoretical Computer Science 20 (1999)
22. Skula L. On a reflective subcategory of the category of all topological spaces. Transactions American Mathematical Society 142 (1969) 37-41
23. Wyler O. Dedekind complete posets and Scott topologies. In: Banaschewski B., and Hoffmann R.-E. (Eds). Continuous Lattices Proceedings, Bremen 1979. Lecture Notes in Mathematics vol. 871 (1981), Springer Verlag 384-389
24. Xu L. Consistently continuous posets and their directed completions. Journal of Yangzhou University (Nature Sciences Edition) 3 (2000) 1-6
25. Xu L. Continuity of posets via Scott topology and sobrification. Topology and its Applications 153 (2006) 1886-1894
26. D. Zhao, T. Fan, Dcpo-completion of posets, Preprint