Characterizing Topologies With Bounded Complete Computational Models

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.