Uniform approximation of topological spaces

Topology and its Applications

Volumn 83, Issue 1, 1998, Pages 23-37

  Jung, Achim ^a   Sünderhauf, Philipp ^b  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b UNIVERSITY OF SOUTHERN MAINE   (United States)

Author keywords

Compact ordered space; Finitary proximity lattice; FS domain; Uniformly approximated space

Indexed keywords

EID: 0039347606     PISSN: 0016660X     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0166-8641(97)00074-6     Document Type: Article

References (9)

1. S. Abramsky and A. Jung, Domain theory, in: S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol. 3 (Clarendon Press, 1994) 1-168.
2. A. Császár, Foundations of General Topology (Pergamon Press, 1963).
3. B.A. Davey and H.A. Priestley, Introduction to Lattices and Order (Cambridge Univ. Press, Cambridge, 1990).
4. A. Edalat, Domain theory and integration, in: Ninth Annual IEEE Symp. Logic in Computer Science (IEEE Comput. Soc. Press, 1994) 115-124.
5. A. Edalat, Dynamical systems, measures and fractals via domain theory, Inform. Comput. 120 (1) (1995) 32-48.
6. A. Edalat and R. Heckmann, Computational models for metric spaces. Manuscript (October 1995).
7. P. Fletcher and W.F. Lindgren, Quasi-Uniform Spaces (Marcel-Dekker, 1982).
8. G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove and D.S. Scott, A Compendium of Continuous Lattices (Springer, Berlin, 1980).
9. K.H. Hofmann and M. Mislove, Local compactness and continuous lattices, in: B. Banaschewski and R.-E. Hoffmann, eds., Continuous Lattices, Proceedings, Bremen, 1979. Lecture Notes in Math. 871 (Springer, Berlin, 1981) 209-248.