Lattices of Scott-closed sets

Commentationes Mathematicae Universitatis Carolinae

Volumn 50, Issue 2, 2009, Pages 297-314

  Ho, Weng Kin ^a   Zhao, Dongsheng ^b  

^a Raffles Institution   (Singapore)

^b NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

C algebraic lattice; C continuous lattice; Complete semilattice; Domain; Scott closed set

Indexed keywords

EID: 77950792654     PISSN: 00102628     EISSN: 12137243     Source Type: Journal    
DOI: None     Document Type: Article

References (26)

1. Abramsky S., Domain Theory and the Logic of Observable Properties, PhD. Thesis, Uni-versity of London, 1987
2. Abramsky S., Jung A., Domain Theory, in Handbook of Logic in Computer Science, vol. 3, S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, Eds., Clarendon Press, New York, 1994, pp. 1-168
3. Banaschewski B., On the topologies of injective spaces, Continuous Lattices and their Ap-plications (Bremen, 1982), Lecture Notes in Pure and Appl. Math., 101, Dekker, New York, 1985, pp. 1-8
4. Davey B.A., Priestley H.A., Introduction to Lattices and Order, second edition, Cambridge Text Books, Cambridge University Press, Cambridge, 1994
5. Escardó M.H., Injective locales over perfect embeddings and algebras of the upper power-locale monad, Appl. Gen. Topol. 4 (2003), no. 1, 193-200
6. Gierz G., Hoffmann K.H., Keimel K., Lawson J.D., Mislove M.W., Scott D.S., A Com-pendium of Continuous Lattices, Springer, Berlin, 1980
7. Gierz G., Hoffmann K.H., Keimel K., Lawson J.D., Mislove M.W., Scott D.S., Continuous Lattices and Domains, Cambridge University Press, Cambridge, 2003
8. Heckmann R., Lower and upper power domain constructions commute on all cpos, Inform. Process. Lett. 40 (1991), no. 1, 7-11
9. W.K. Ho, Theory of Frames, Master Thesis, Nanyang Technological University, 2002
10. Hoffmann R.E., Continuous posets, prime spectra of completely distributive lattices, and Hausdorff compactification, in Continuous Lattices, Lecture Notes in Mathematics, 871, Springer, Berlin-Heidelberg, 1981, pp. 159-208
11. Isbell J.R., Completion of a construction of Johnstone, Proc. Amer. Math. Soc. 85 (1982), 333-334
12. Johnstone P.T., Scott is not always sober, in Continuous Lattices, Lecture Notes in Math-ematics, 871, Springer, Berlin-Heidelberg, 1981, pp. 282-283
13. Johnstone P.T., Stone Spaces, Cambridge Studies in Advanced Mathematics, 3, Cambridge University Press, Cambridge, 1982
14. Kock A., Monads for which structures are adjoint to units, J. Pure Appl. Algebra 104 (1995), no. 1, 41-59
15. Lawson J., The duality of continuous posets, Houston J. Math. 5 (1979), 357-394
16. Mac Lane S., Categories for the Working Mathematician, Springer, New York-Berlin, 1971
17. Mislove M.W., Local DCPOs, local CPOs and local completions, Electron. Notes Theor. Comput. Sci., 20, Elsevier, Amsterdam, 1999, pp. 287-300
18. Papert S., Which distributive lattices are lattices of closed sets, Proc. Cambridge Philos. Soc. 55 (1959), 172-176
19. Raney G.N., Completely distributive complete lattices, Proc. Amer. Math. Soc. 3 (1952), 667-680
20. Scott D., Data types as lattices, SIAM J. Comput. 5 (1976), no. 3, 522-587
21. Schalk A., Algebras for generalised power constructions, PhD. Thesis, Technische Hochschule Darmstadt, 1993
22. Smyth M.B., Topology, in Handbook of Logic in Computer Science, vol. 1, Oxford University Press, New York, 1992
23. Venugopalan G., Union-complete subset systems, Houston J. Math. 14 (1988), 583-600
24. Vickers S.J., Topology via Logic, Cambridge University Press, Cambridge, 1989
25. Zhao D., N-compactness in L-fuzzy topological spaces, J. Math. Anal. Appl. 128 (1987), 64-79
26. Zhao D., On projective Z-frames, Canad. Math. Bull. 40 (1997), no. 1, 39-46