The space of maximal elements in a compact domain

Electronic Notes in Theoretical Computer Science

Volumn 40, Issue , 2001, Pages 244-253

  Martin, Keye ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN THEORY; HAUSDORFF SPACES; MAXIMAL ELEMENTS; METRIC SPACES; SCOTT DOMAINS;

FINITE ELEMENT METHOD; INTERPOLATION; MATHEMATICAL MODELS; METRIC SYSTEM; SET THEORY; THEOREM PROVING; TOPOLOGY;

TIME DOMAIN ANALYSIS;

EID: 0038217257     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80053-2     Document Type: Conference Paper

References (12)

1. Abramsky S., Jung A. Domain Theory. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. Vol. III:1994;Oxford University Press
2. Ciesielski K., Flagg R.C., Kopperman R. Characterizing Topologies With Bounded Complete Computational Models. Proceedings of MFPS XV, ENTCS. vol. 20:1999
3. Engelking R. General Topology. 1977;Polish Scientific Publishers, Warszawa
4. Flagg B., Kopperman R. Computational Models for Ultrametric Spaces. Proceedings of MFPS XIII, ENTCS. Vol. 6:1997;Elsevier Science
5. K. H. Hofmann and M. W. Mislove. Local Compactness and Continuous Lattices. In B. Banaschewski and R. E. Hofmann, editors, Continuous Lattices, Proceedings Bremen 1979, volume 871 of Lecture Notes in Mathematics, pages 209-248, Springer-Verlag, 1981.
6. Jung A. Cartesian Closed Categories of Domains. CWI Tracts. 66:1989;. Amsterdam
7. Lawson J. Spaces of Maximal Points. Mathematical Structures in Computer Science. 7:1997;543-555
8. Martin K. A foundation for computation. Ph.D. Thesis. 2000;Tulane University
9. Martin K. Domain theoretic models of topological spaces. Proceedings of Comprox III, ENTCS. vol. 13:1998
10. Martin K. Nonclassical techniques for models of computation. Topology Proceedings. Vol. 24:1999
11. th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Scienc. vol. 1853:2000;Springer-Verlag
12. K. Martin. The regular spaces with countably based models. Theoretical Computer Science, to appear.