Results 1 -
2 of
2
The Regular Spaces With Countably Based Models
- Theoretical Computer Science
"... 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. ..."
Abstract
-
Cited by 4 (2 self)
- Add to MetaCart
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.
Topological Games in Domain Theory
- Topology Appl
"... We prove that a metric space may be realized as the set of maximal elements in a continuous dcpo if and only if it is completely metrizable by showing more generally that the space of maximal elements in a domain is always complete in a sense rst introduced by Choquet. ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
We prove that a metric space may be realized as the set of maximal elements in a continuous dcpo if and only if it is completely metrizable by showing more generally that the space of maximal elements in a domain is always complete in a sense rst introduced by Choquet.
