Attempts to extend the classical Hausdorff difference hierarchy to the case of partitions of a space to k > 2 subsets lead to non‐equivalent notions. In a hope to identify the “right” extension we consider the extensions appeared in the literature so far: the limit‐, level‐, Boolean and Wadge hierarchies of k ‐partitions. The advantages and disadvantages of the four hierarchies are discussed. The main technical contribution of this paper is a complete characterization of the Wadge degrees of Δ02‐measurable k (...) ‐partitions of the Baire space. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

We define a notion of reducibility for subsets of a second countable T 0 topological space based on relatively continuous relations and admissible representations. This notion of reducibility induces a hierarchy that refines the Baire classes and the Hausdorff–Kuratowski classes of differences. It coincides with Wadge reducibility on zero dimensional spaces. However in virtually every second countable T 0 space, it yields a hierarchy on Borel sets, namely it is well founded and antichains are of length at most 2. It (...) thus differs from the Wadge reducibility in many important cases, for example on the real line $${\mathbb{R}}$$ or the Scott Domain $${\mathcal{P}\omega}$$. (shrink)

We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of Polish spaces to the non-Hausdorff setting. We show that a subspace of a quasi-Polish space is quasi-Polish if and only if it is Π20 source in the Borel hierarchy. Quasi-Polish spaces can be characterized within the framework of Type-2 Theory of Effectivity as precisely the countably based spaces (...) that have an admissible representation with a Polish domain. They can also be characterized domain theoretically as precisely the spaces that are homeomorphic to the subspace of all non-compact elements of an ω-continuous domain. Every countably based locally compact sober space is quasi-Polish, hence every ω-continuous domain is quasi-Polish. A metrizable space is quasi-Polish if and only if it is Polish. We show that the Borel hierarchy on an uncountable quasi-Polish space does not collapse, and that the Hausdorff–Kuratowski theorem generalizes to all quasi-Polish spaces. (shrink)