The Regular Spaces With Countably Based Models
by
Keye Martin
| Venue: | THEORETICAL COMPUTER SCIENCE |
| Citations: | 4 - 2 self |
BibTeX
@ARTICLE{Martin_theregular,
author = {Keye Martin},
title = {The Regular Spaces With Countably Based Models},
journal = {THEORETICAL COMPUTER SCIENCE},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The regular spaces which may be realized as the set of maximal elements in an !-continuous dcpo are the Polish spaces. In addition, we give a new and conceptually simple model for complete metric spaces. These results enable
Citations
| 402 | Domain Theory, in - Abramsky, Jung - 1994 |
| 251 | Classical descriptive set theory - Kechris - 1995 |
| 40 | A computational model for metric spaces - Edalat, Heckmann - 1996 |
| 32 | A foundation for computation - Martin - 2000 |
| 29 | Spaces of maximal points - Lawson - 1997 |
| 23 | The Measurement Process in Domain Theory - Martin - 2000 |
| 13 | When Scott is weak at the top - Edalat - 1997 |
| 10 | A Louveau (1990), Glimm-E¤ros dichotomy for Borel equivalence relations - Harrington, Kechris, et al. - 2000 |
| 8 | Characterizing topologies with bounded complete computational models - Ciesielski, Flagg, et al. - 1999 |
| 5 | General topology. Polish Scienti - Engelking - 1977 |
| 4 | The space of maximal elements in a compact domain - Martin |
| 3 | Ideal models of spaces - Martin - 2000 |
| 2 | Domain Environments - Heckmann |
