A generalization of a theorem of Hurewicz for quasi-Polish spaces

DOI10.23638/LMCS-14(1:13)2018zbMATH Open1459.03074arXiv1711.09326MaRDI QIDQ4603445FDOQ4603445

Authors: Matthew De Brecht 

Publication date: 20 February 2018

Abstract: We identify four countable topological spaces $S_2$, $S_1$, $S_D$, and $S_0$ which serve as canonical examples of topological spaces which fail to be quasi-Polish. These four spaces respectively correspond to the $T_2$, $T_1$, $T_D$, and $T_0$-separation axioms. $S_2$ is the space of rationals, $S_1$ is the natural numbers with the cofinite topology, $S_D$ is an infinite chain without a top element, and $S_0$ is the set of finite sequences of natural numbers with the lower topology induced by the prefix ordering. Our main result is a generalization of Hurewicz's theorem showing that a co-analytic subset of a quasi-Polish space is either quasi-Polish or else contains a countable $P{i}_2^0$-subset homeomorphic to one of these four spaces.

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

Recommendations

• Quasi-Polish spaces
• Computability on quasi-Polish spaces
• scientific article; zbMATH DE number 6279931
• Hurewicz scheme
• Noetherian quasi-Polish spaces

zbMATH Keywords

domain theorydescriptive set theoryBaire spacesquasi-Polish spaces

Mathematics Subject Classification ID

Descriptive set theory (03E15) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Cites Work

• Title not available (Why is that?)
• Continuous Lattices and Domains
• Covering analytic sets by families of closed set
• Topological aspects of poset spaces
• Title not available (Why is that?)
• Borel Classes and Closed Games: Wadge-Type and Hurewicz-Type Results
• Quasi-Polish spaces
• Towards a descriptive set theory for domain-like structures
• Localic Products of Spaces
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization

Cited In (6)

• Quasi-Polish spaces
• On some results related to sober spaces
• Noetherian quasi-Polish spaces
• Domain-complete and LCS-complete spaces
• Title not available (Why is that?)
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces

This page was built for publication: A generalization of a theorem of Hurewicz for quasi-Polish spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4603445)