Results 1 
2 of
2
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 5 (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.
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.