Articles
Characterizing Topologies With Bounded Complete Computational Models

https://doi.org/10.1016/S1571-0661(04)80075-6Get rights and content
Under a Creative Commons license
open access

Abstract

We give several characterizations of maximal point spaces of bounded continuous dcpos. Among them: they are regular second countable spaces which arise from a quasimetric whose dual gives rise to a compact space. In [2], we use one of these characterizations to show that the Polish spaces are the maximal point spaces of bounded continuous dcpos.

Key words and phrases

directed-continuous poset (dcpo), bounded continuous poset, ω-continuous poset
Scott, lower, Lawson topologies
maximal-point space
bitopological dual, quasiproximities, Urysohn sets, Polish space
cocompact and cocompactly quasimetrizable space
specialization order

AMS classification numbers

06B35
06F30
54C25
54D30
54D35
54D80
54E50
54E55
54F05
54H12

Cited by (0)

1

Work of the first author partially supported by NATO Collaborative Research Grant CRG 950347. Work of the third author partially supported by the CUNY-PSC grant #668440

Copyright © 2000 Published by Elsevier B.V.