BibTeX
@MISC{Martin01thespace,
author = {Keye Martin},
title = {The Space of Maximal Elements in a Compact Domain},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we try to improve the current state of understanding concerning models of spaces with Scott domains. The main result given is that any developable space which has a model by a Scott domain must be Cech-complete. An important consequence is that any metric space homeomorphic to the maximal elements of a Scott domain must be completely metrizable. 1
Citations
| 402 | Domain Theory, in - Abramsky, Jung - 1994 |
| 45 | Local compactness and continuous lattices - Hofmann, Mislove - 1981 |
| 32 | A foundation for computation - Martin - 2000 |
| 29 | Spaces of maximal points - Lawson - 1997 |
| 25 | General topology. Polish Scientific - Engelking - 1977 |
| 25 | Cartesian Closed Categories of Domains - Jung - 1989 |
| 23 | The Measurement Process in Domain Theory - Martin - 2000 |
| 9 | Computational models for ultrametric spaces - Flagg, Kopperman - 1997 |
| 8 | Characterizing topologies with bounded complete computational models - Ciesielski, Flagg, et al. - 1999 |
| 8 | Nonclassical techniques for models of computation - Martin - 1999 |
| 7 | Domain theoretic models of topological spaces - Martin - 1998 |
| 4 | The regular spaces with countably based models - Martin |
