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/