Characterizing topologies with bounded complete computational models

by

Krzysztof Ciesielski & R. C. Flagg & Ralph Kopperman

Electron. Notes Theor. Comput. Sci. 20 (1999).

URL: http://www.elsevier.nl/locate/entcs/volume20.html 11 pages.


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 the paper Polish spaces, computer approximation, and cocompact quasimetrizability we use one of these characterizations to show that the Polish spaces are the maximal point spaces of bounded continuous dcpos.


LaTeX 2e source file.

Requires entcsmacro.sty and entcs.cls files.

Postscript file.

Last modified August 31, 1999.