The upper interval topology, property M, and compactness

Electronic Notes in Theoretical Computer Science

Volumn 13, Issue , 1998, Pages 158-172

  Lawson, Jimmie ^a  

^a LOUISIANA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; CONVERGENCE OF NUMERICAL METHODS; EQUIVALENCE CLASSES; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

CONTINUOUS LATTICES; INTERVAL TOPOLOGY; PARTIALLY ORDERED SETS; SCOTT TOPOLOGY;

TOPOLOGY;

EID: 0042104308     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80220-8     Document Type: Conference Paper

References (17)

1. Abramsky, S. and Jung, A., Domain theory, In: S. Abramsky et al. (editors), Handbook of Logic in Computer Science 3, Clarendon Press, 1995.
2. Birkhooff G. Lattice Theory. Amer. Math. Soc., Providence. 1942
3. Frink O. Topology in lattices. Trans. Amer. Math. Soc. 5:1942;569-582
4. Gierz G., Hofmann K., Keimel K., Lawson J., Mislove M., Scott D. A Compendium of Continuous Lattices. 1980;Springer-Verlag
5. Gierz G., Lawson J.D., Stralka A. Quasicontinuous posets. Houston J. Math. 9:1983;191-208
6. Hofmann K.H., Lawson J.D. The spectral theory of distributive continuous lattices. Trans. Amer. Math. Soc. 246:1978;285-310
7. Hofmann, K. H. and Mislove, M., Local compactness and continuous lattices, in: Continuous Lattices, edited by B. Banaschewski and R.-E. Hoffmann, Springer LNM 871, Springer-Verlag, 125-158.
8. Johnstone P.T. Stone Spaces. Vol. 3 of Cambridge Studies in Advanced Mathematics. 1982;Cambridge
9. Jung A. Cartesian Closed Categories of Domains. CWI Tract. 66:1989;. Amsterdam
10. Kopperman R. Asymmetry and duality in topology. Topology and its Appl. 66:1995;1-39
11. Lawson J. The duality of continuous posets. Houston J. of Math. 5:1979;357-394
12. _, Order and strongly sober compactifications. Topology and Category Theory in Computer Science. Reed G.M., Roscoe A.W., Wachter R.F. 1991;179-205 Oxford
13. Nachbin L. Topology and Order. van Nostrand, Princeton. 1965
14. Plotkin G. The category of complete partial orders: a tool for making meanings. Proc. Summer School on Foundations of Artificial Intelligence and Computer Sci. 1978;Instituto di Scienze dell'Informazione, Universita di Pisa
15. Priestley H.A. Intrinsic spectral topologies. Papers on General Topology and Applications. Ann. New York Acad. Sci. 728:1994;78-95
16. Rudin, M. E., Directed sets which converge, Proc. Riverside Symposium on Topology and Modern Analysis, 1980, 305-307.
17. Scott, D., Outline of the mathematical theory of computation, in: Proc. 4th Princeton Conference on Information Science, 1970, 169-176.