Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space is . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of . We show that has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology. Moreover, a closed subset of has this property iff it contains a copy of .
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm176-1-1, author = {Carlos Uzc\'ategui}, title = {On the complexity of subspaces of $S\_{$\omega$}$ }, journal = {Fundamenta Mathematicae}, volume = {177}, year = {2003}, pages = {1-16}, zbl = {1027.54055}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm176-1-1} }
Carlos Uzcátegui. On the complexity of subspaces of $S_{ω}$ . Fundamenta Mathematicae, Tome 177 (2003) pp. 1-16. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm176-1-1/