Selective separability on spaces with an analytic topology (Q1790243)

A space \(X\) is selective separable, denoted SS, if for any sequence \((D_n)_n\) of dense subsets of \(X\) there are finite sets \(a_n\subseteq D_n\) such that \(\bigcup_na_n\) is dense in \(X\). A space \(X\) is said to have the property SS\(^+\) if Player II has a winning strategy in the infinite game \(G_{\text{fin}}\) for two players with the following rules: In every move, Player I chooses a dense set \(D_n\) and Player II picks a finite set \(a_n\subseteq D_n\). Player II wins if \(\bigcup_na_n\) is dense. In the present paper the authors study combinatorial properties of countable spaces with definable topology. They find several Ramsey type properties that imply SS. They prove that if \(X\) has analytic topology then the game \(G_{\text{fin}}\) is determined. They prove that the property SS\(^+\) is equivalent to the condition that the collection of dense subsets of \(X\) is a \(G_\delta\) subset of the Cantor space \(2^X\), and also equivalent to the existence of an \(F_\sigma\) set \({\mathcal P}\subseteq2^X\) which is a weak \(\pi\)-base in \(X\), i.e., sets in \({\mathcal P}\) have nonempty interiors and every open set in \(X\) has a subset from \({\mathcal P}\). This characterization easily implies the known result saying the product of two SS\(^+\) spaces is SS\(^+\). The authors also study several examples of analytic spaces.