Programming Research Group
Research Report RR-02-04
Topological games in domain theory
Keye Martin
January 2002, 10pp.
Abstract
We show 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 first introduced by Choquet.
This paper is available as a 81429 bytes gzipped PostScript file.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl