Title of article
Topological games in domain theory
Author/Authors
Martin، نويسنده , , Keye، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 2003
Pages
10
From page
177
To page
186
Abstract
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 first introduced by Choquet.
Keywords
domain theory , Topological games , Maximal elements
Journal title
Topology and its Applications
Serial Year
2003
Journal title
Topology and its Applications
Record number
1580288
Link To Document