Quasicontinuity of posets via Scott topology and sobrification

Order

Volumn 23, Issue 4, 2006, Pages 359-369

  Mao, Xuxin ^a   Xu, Luoshan ^b  

^a NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

^b YANGZHOU UNIVERSITY   (China)

Author keywords

Directed completion; Meet continuous poset; Quasicontinuous poset; Scott topology; Sobrification

Indexed keywords

EID: 33847350543     PISSN: 01678094     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11083-007-9054-4     Document Type: Article

References (14)

1. Adàmek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. Wiley, New York (1990)
2. Gierz, G., Lawson, J.D.: Generalized continuous and hypercontinuous lattices. Rocky Mt. J. Math. 11, 271-296 (1981)
3. Gierz, G., Lawson, J.D., Stralka, A.: Quasicontinuous posets. Houst. J. Math. 9, 191-208 (1983)
4. Gierz, G., Hofmann, K., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)
5. Heckmann, R.: An upper power domain construction in terms of strongly compact sets. In: Lecture Notes in Computer Science, vol. 598, pp. 272-293. Springer, Berlin Heidelberg New York (1992)
6. Johnstone, P.T.: Scott is not always sober. In: Banaschewski, B., Hoffmann, R.E. (eds.) Continuous Lattices, Proc. Conf. Bremen 1979. Lecture Notes in Mathematics, vol. 871, pp. 282-283. Springer, Berlin Heidelberg New York (1981)
7. Kou, H., Liu, Y.M., Luo, M.K.: On meet-continuous dcpos. In: Zhang, G.Q., Lawson, J., Liu, Y.M., Luo, M.K. (eds.) Domain Theory, Logic and Computation, pp. 137-149. Kluwer, Boston, MA (2003)
8. Lawson, J.D.: The duality of continuous posets. Houst. J. Math. 5(3), 357-386 (1979)
9. Lawson, J.D.: The round ideal completion via sobrification. Topol. Proc. 22, 261-274 (1997)
10. Lawson, J.D.: The upper interval topology, property M and compactness. Electronic Notes in Theor. Comp. Sci. 13 (1998)
11. Lawson, J.D., Xu, L.S.: Posets having continuous intervals. Theor. Comp. Sci. 316, 89-103 (2004)
12. Xu, L.S.: Consistently continuous posets and their directed completions. J. of Yangzhou University (Nature Science Edition), 3(1), 1-6 (2000) (in Chinese)
13. Xu, L.S.: Continuity of posets via Scott topology and sobrification. Topol. Its Appl. 153, 1886-1894 (2006)
14. Xu, X.Q., Liu, Y.M.: The Scott topology and Lawson topology on a Z-quasicontinuous domain. Chin. Ann. Math. 24A(3), 365-376 (2003) (in Chinese)