Quasi-Polish spaces
From MaRDI portal
Publication:1935873
Abstract: 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 level Pi_2 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 omega-continuous domain. Every countably based locally compact sober space is quasi-Polish, hence every omega-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.
Recommendations
- Computability on quasi-Polish spaces
- A generalization of a theorem of Hurewicz for quasi-Polish spaces
- Towards a descriptive set theory for domain-like structures
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
- Some hierarchies of \(\mathsf{QCB}_0\)-spaces
Cited in
(76)- On the information carried by programs about the objects they compute
- On higher effective descriptive set theory
- Game characterizations and lower cones in the Weihrauch degrees
- On the widest class of completeness-preserving covering maps
- Enumerating classes of effective quasi-Polish spaces
- Boole vs Wadge: comparing two basic tools of descriptive set theory
- Some notes on spaces of ideals and computable topology
- Non-collapse of the effective wadge hierarchy
- The fixed-point property for represented spaces
- Domain-complete and LCS-complete spaces
- Computability on quasi-Polish spaces
- On degree spectra of topological spaces
- Endpoints in \(T_0\)-quasi-metric spaces
- Effective wadge hierarchy in computable quasi-Polish spaces
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Topological reducibilities for discontinuous functions and their structures
- Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
- Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
- Towards the Effective Descriptive Set Theory
- Well-Quasi Orders and Hierarchy Theory
- \(\Pi^0_2\) subsets of domain-complete spaces and countably correlated spaces
- A comparison of concepts from computable analysis and effective descriptive set theory
- Towards a descriptive theory of cb\(_{0}\)-spaces
- A generalization of a theorem of Hurewicz for quasi-Polish spaces
- Descriptive set theory in the category of represented spaces
- A Wadge hierarchy for second countable spaces
- Decomposing Borel functions using the Shore-Slaman join theorem
- Computable analysis and notions of continuity in \textsc{Coq}
- Admissibly Represented Spaces and Qcb-Spaces
- Weihrauch Complexity in Computable Analysis
- Non-collapse of the effective Wadge hierarchy
- Polish spaces of Banach spaces
- A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
- Uniform envelopes
- The Wadge order on the Scott domain is not a well-quasi-order
- Noetherian quasi-Polish spaces
- Products and projective limits of continuous valuations on \(T_0\) spaces
- Decompositions and measures on countable Borel equivalence relations
- Game characterizations and lower cones in the Weihrauch degrees
- scientific article; zbMATH DE number 7093560 (Why is no real title available?)
- Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
- On the topological aspects of the theory of represented spaces
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
- Wadge-like reducibilities on arbitrary quasi-Polish spaces
- Some hierarchies of \(\mathsf{QCB}_0\)-spaces
- Point Degree Spectra of Represented Spaces
- A syntactic approach to Borel functions: some extensions of Louveau's theorem
- On some results related to sober spaces
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
- Presenting quotient locales
- On the main scientific achievements of Victor Selivanov
- Notes on overt choice
- Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
- A few Projective classes of (non-Hausdorff) topological spaces
- Comparing computability in two topologies
- Continuous R-valuations
- Descriptive complexity on non-Polish spaces. II
- 75 years of the name ``Polish space
- Computably discrete represented spaces
- Errata to: ``Isomorphism theorems between models of mixed choice, fixes and consequences
- A Lopez-Escobar theorem for continuous domains
- A dichotomy result for countably based sober spaces
- -well-filtered spaces revisited
- On local compactness of spaces of continuous valuations
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- A domain-theoretic approach to statistical programming languages
- Effective bases and notions of effective second countability in computable analysis
- Étale structures and the Joyal-Tierney representation theorem in countable model theory
- On the preservation of projective limits by functors of probabilistic and of non-deterministic choice
This page was built for publication: Quasi-Polish spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935873)
