Abstract The authors’ primary goal in this paper is to enhance the study of $T_0$ topological spaces by using the order of specialization of a $T_0$ -space to introduce the lower topology (with a subbasis of closed sets $\mathord{\uparrow } x$ ) and studying the interaction of the original topology and the lower topology. Using the lower topology, one can define and study new properties of the original space that provide deeper insight into its structure. One focus of study is the property R, which asserts that if the intersection of a family of finitely generated sets $\mathord{\uparrow } F$ , $F$ finite, is contained in an open set $U$ , then the same is true for finitely many of the family. We first show that property R is equivalent to several other interesting properties, for example, the property that all closed subsets of the original space are compact in the lower topology. We then find conditions under which these spaces are compact, well-filtered, and coherent, a weaker variant of stably compact spaces. We also investigate what have been called strong $d$ -spaces, develop some of their basic properties, and make connections with the earlier considerations involving spaces satisfying property R. Two key results we obtain are that if a dcpo $P$ with the Scott topology is a strong $d$ -space, then it is well-filtered, and if additionally the Scott topology of the product $P\times P$ is the product of the Scott topologies of the factors, then the Scott space of $P$ is sober. We also exhibit connections of this work with de Groot duality.

The purpose of this paper is to develop the basic theory of stably compact spaces (viz. compact, locally compact, coherent sober spaces) and introduce in an accessible manner and with a minimum of prerequisites some significant new lines of investigation and application arising from recent research, which has arisen primarily in the theoretical computer science community. Three primary themes have developed: (i) the property of stable compactness is preserved under a large variety of constructions involving powerdomains, hyperspaces and function spaces; (ii) the underlying de Groot duality of stably compact spaces, which finds varied expression, is reflected by duality theorems involving the just mentioned constructions; and (iii) the notion of inner and outer pavings is a useful and natural tool for such studies of stably compact spaces.

This article surveys a variety of approaches to integration theory that have arisen in the context of continuous domain theory. The presentation is set in a broader context of ‘positive’ analysis, analysis where order-theoretic notions and notions of positivity play a key role.

This paper shows that it is precisely the complete metrizable separable metric spaces that can be realized as the set of maximal points of an ω-continuous dcpo, where the set of maximal points is topologized with the relative Scott topology.