This unique book on modern topology looks well beyond traditional treatises and explores
spaces that may, but need not, be Hausdorff. This is essential for domain theory, the …

This book serves as an introduction to an area of computability theory that originated in the
1950s, and since then has fanned out in many different directions under the influence of …

In this book we prove (Thm. 4. 3.24) unified classification results for stable equivariant Γ-
principal bundles when the underlying homotopy type SΓ of the topological structure group Γ …

We first introduce and study two new classes of subsets in T 0 spaces—Rudin sets and WD
sets lying between the class of all closures of directed subsets and that of irreducible closed …

In this article we give a general categorical construction via reflection functors for various
completions of T0-spaces subordinate to sobrification, with a particular emphasis on what …

Based on topological Rudin's Lemma, we investigate two new kinds of sets–Rudin sets and
well-filtered determined sets in T 0 topological spaces. Using such sets, we formulate and …

Bar recursion arises in constructive mathematics, logic, proof theory and higher-type
computability theory. We explain bar recursion in terms of sequential games, and show how …

In this paper, we investigate some versions of d-space, well-filtered space and Rudin space
concerning various countability properties. It is proved that every T 0 space with a first …

A basic concept of Type Two Theory of Effectivity (TTE) is the notion of an admissibly
represented space. Admissibly represented spaces are closely related to qcb-spaces. The …

In the past few years, the research on sober spaces and well-filtered spaces has got some
breakthrough progress. In this paper, we shall present a brief summarizing survey on some …