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.