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

DOI10.23638/LMCS-14(1:13)2018MaRDI QIDQ4603445zbMATH OpenFDO

Publication date 20 February 2018

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

domain theory descriptive set theory Baire spaces quasi-Polish spaces

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)

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.

Recommendations

Cites work

Cited in

(6)

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)