On computational environments of topological spaces (Q949611)

The authors observe that a large number of important topological spaces do not have any continuous domain as their computational models. Therefore it is of interest to study new kinds of pragmatic computational environments in order to be able to model more topological spaces. In this article they focus on bounded complete continuous posets with enough maximal points, which are shown to be a good choice for computational environments of Tychonoff spaces with no directed complete model. Among other things they prove that the maximal point space of a Choquet complete weak domain is also Choquet complete. Furthermore they show that a nonempty topological space is a Tychonoff space if and only if it has a bounded complete weak domain environment. Finally they discuss Hausdorff compactifications of Tychonoff spaces in their context.