Stably compact spaces and closed relations

Electronic Notes in Theoretical Computer Science

Volumn 45, Issue , 2001, Pages 209-231

  Jung, Achim ^a   Kegelmann, Mathias ^b   Moshier, M Andrew ^c  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^c CHAPMAN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; MAPPING; PROBABILITY; SEMANTICS; SET THEORY; THEOREM PROVING; TOPOLOGY;

CLASSICAL DOMAIN THEORY; COMPACT HAUSDROFF SPACES; MORPHISMS; STABLY COMPACT SPACES;

COMPUTATION THEORY;

EID: 2442553618     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80964-2     Document Type: Conference Paper

References (26)

1. Abramsky S., Jung A. Domain theory. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. volume 3:1994;1-168 Clarendon Press
2. Banaschewski B. Another look at the Localic Tychonoff Theorem. Commentationes Mathematicae Universitatis Carolinae. 29:1988;647-656
3. Bird R., de Moor O. Algebra of Programming, volume 100 of International Series in Computer Science. 1997;Prentice Hall
4. Bourbaki N. General Topology. Elements of Mathematics. 1989;Springer Verlag
5. Brink C., Kahl W., Schmidt G. Relational Methods in Computer Science. Advances in Computing Science :1996;Springer Verlag
6. Escardó M.H. The regular-locally-compact coreflection of stably locally compact locale. Journal of Pure and Applied Algebra. 157:(1):2001;41-55
7. Freyd P.J., Scedrov A. Categories, Allegories. 1990;North-Holland
8. Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M., Scott D.S. A Compendium of Continuous Lattices. 1980;Springer Verlag
9. R.-E. Hoffmann. The Fell compactification revisited. In R.-E. Hoffmann and K. H. Hofmann, editors, Continuous Lattices and their Applications, Proceedings of the third conference on categorical and topological aspects of continuous lattices (Bremen 1982), volume 101 of Lecture Notes in Pure and Applied Mathematics, pages 57-116. Marcel-Dekker, 1985.
10. K. H. Hofmann. Stably continuous frames and their topological manifestations. In H. L. Bentley, H. Herrlich, M. Rajagopalan, and H. Wolff, editors, Categorical Topology, Proceedings of 1983 Conference in Toledo, volume 5 of Sigma Series in Pure and Applied Mathematics, pages 282-307, Berlin, 1984. Heldermann.
11. K. H. Hofmann and M. Mislove. Local compactness and continuous lattices. In B. Banaschewski and R.-E. Hoffmann, editors, Continuous Lattices, Proceedings Bremen 1979, volume 871 of Lecture Notes in Mathematics, pages 209-248. Springer Verlag, 1981.
12. P. T. Johnstone. Factorization and pullback theorems for localic geometric morphisms. Technical Report 79, Université catholique de Louvain, 1979.
13. A. Jung. The classification of continuous domains. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 35-40. IEEE Computer Society Press, 1990.
14. Jung A., Kegelmann M., Moshier M.A. Multi lingual sequent calculus and coherent spaces. Fundamenta Informaticae. 37:1999;369-412
15. A. Jung and Ph. Sünderhauf. On the duality of compact vs. open. In S. Andima, R. C. Flagg, G. Itzkowitz, P. Misra, Y. Kong, and R. Kopperman, editors, Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine, volume 806 of Annals of the New York Academy of Sciences, pages 214-230, 1996.
16. A. Jung and R. Tix. The troublesome probabilistic powerdomain. In A. Edalat, A. Jung, K. Keimel, and M. Kwiatkowska, editors, Proceedings of the Third Workshop on Computation and Approximation, volume 13 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers B.V., 1998. 23 pages, URL: http://www.elsevier.nl/locate/entcs/volume13.html.
17. M. Kegelmann. Continuous domains in logical form. PhD thesis, School of Computer Science, The University of Birmingham, 1999.
18. K. Keimel and J. Paseka. A direct proof of the Hofmann-Mislove theorem. Proceedings of the AMS, 120:301-303, 1994.
19. H. P. A. Künzi and G. C. L. Brümmer. Sobrification and bicompletion of totally bounded quasi-uniform spaces. Mathematical Proceedings of the Cambridge Philosophical Society, 101:237-246, 1987.
20. Lawson J.D. The duality of continuous posets. Houston Journal of Mathematics. 5:1979;357-394
21. L. Nachbin. Topology and Order. Von Nostrand, Princeton, N.J., 1965. Translated from the 1950 monograph "Topologia e Ordem" (in Portugese). Reprinted by Robert E. Kreiger Publishing Co., Huntington, NY, 1967.
22. A. Schalk. Algebras for Generalized Power Constructions. Doctoral thesis, Technische Hochschule Darmstadt, 1993. 174 pp.
23. A. K. Simpson. Recursive types in Kleisli categories. Manuscript (available from http://www.dcs.ed.ac.uk), 1992.
24. Smyth M.B. Stable compactification I. Journal of the London Mathematical Society. 45:1992;321-340
25. Sünderhauf Ph. Constructing a quasi-uniform function space. Topology and its Applications. 67:1995;1-27
26. Vickers S.J. Topology Via Logic, volume 5 of Cambridge Tracts in Theoretical Computer Science. 1989;Cambridge University Press