Quasi-Polish spaces

DOI10.1016/j.apal.2012.11.001zbMath1270.03086arXiv1108.1445OpenAlexW2962969400MaRDI QIDQ1935873

Matthew De Brecht

Publication date: 19 February 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1108.1445

zbMATH Keywords

Borel hierarchyadmissible representationdescriptive set theorysober spacequasi-metric space\(\omega \)-continuous domainHausdorff-Kuratowski theoremquasi-Polish space

Mathematics Subject Classification ID

Complete metric spaces (54E50) Descriptive set theory (03E15) Uniform structures and generalizations (54E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Continuous lattices and posets, applications (06B35)

Related Items (50)

The fixed-point property for represented spaces ⋮ Domain-complete and LCS-complete spaces ⋮ Unnamed Item ⋮ Non-collapse of the effective Wadge hierarchy ⋮ Base-Complexity Classifications of QCB $$_0$$ 0 -Spaces ⋮ Towards the Effective Descriptive Set Theory ⋮ Unnamed Item ⋮ A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES ⋮ Effective wadge hierarchy in computable quasi-Polish spaces ⋮ Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ Unnamed Item ⋮ A syntactic approach to Borel functions: some extensions of Louveau's theorem ⋮ A comparison of concepts from computable analysis and effective descriptive set theory ⋮ Towards a descriptive theory of cb₀-spaces ⋮ On some results related to sober spaces ⋮ THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER ⋮ A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES ⋮ Presenting quotient locales ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ On the information carried by programs about the objects they compute ⋮ On the main scientific achievements of Victor Selivanov ⋮ Notes on overt choice ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions ⋮ Topological reducibilities for discontinuous functions and their structures ⋮ On degree spectra of topological spaces ⋮ Endpoints in \(T_0\)-quasi-metric spaces ⋮ Game characterizations and lower cones in the Weihrauch degrees ⋮ Well-Quasi Orders and Hierarchy Theory ⋮ A Wadge hierarchy for second countable spaces ⋮ Products and projective limits of continuous valuations on T₀ spaces ⋮ Decompositions and measures on countable Borel equivalence relations ⋮ 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 QCB₀-spaces ⋮ On higher effective descriptive set theory ⋮ Game characterizations and lower cones in the Weihrauch degrees ⋮ Unnamed Item ⋮ Base-complexity classifications of qcb0-spaces1 ⋮ A generalization of a theorem of Hurewicz for quasi-Polish spaces ⋮ Decomposing Borel functions using the Shore–Slaman join theorem ⋮ On the widest class of completeness-preserving covering maps ⋮ Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} ⋮ Enumerating classes of effective quasi-Polish spaces ⋮ Boole vs Wadge: comparing two basic tools of descriptive set theory ⋮ Point Degree Spectra of Represented Spaces ⋮ Some notes on spaces of ideals and computable topology ⋮ Admissibly Represented Spaces and Qcb-Spaces ⋮ Weihrauch Complexity in Computable Analysis ⋮ Non-collapse of the effective wadge hierarchy

This page was built for publication: Quasi-Polish spaces