Indestructibility of compact spaces (Q386863)

A Lindelöf space is \textit{indestructible} if the topology it generates in any countably closed forcing extension is Lindelöf. For a topological space \(X\) and an ordinal \(\alpha\), denote by \(G_1^{\alpha}(\mathcal O_X,\mathcal O_X)\) the generalized \textit{Rothberger game} played by players One and Two as follows: in each inning \(\xi\in\alpha\), One chooses an open cover \(\mathcal U_{\xi}\) of \(X\), and then Two picks \(U_{\xi}\in\mathcal U_{\xi}\); Two wins the play if \(X=\bigcup \{U_{\xi}: \xi\in\alpha\}\), otherwise, One wins. Furthermore, \(S_1^{\alpha}(\mathcal O_X,\mathcal O_X)\) stands for the statement that for each sequence \((\mathcal U_{\xi})_{\xi\in\alpha}\) of open covers of \(X\), there is a sequence \((U_{\xi})_{\xi\in\alpha}\) such that \(U_{\xi}\in\mathcal U_{\xi}\) for each \(\xi\in\alpha\) and \(X=\bigcup \{U_{\xi}: \xi\in\alpha\}\). If \(\omega\leq \alpha<\omega_1\), then One does not have a winning strategy in \(G_1^{\alpha}(\mathcal O_X,\mathcal O_X)\) if and only if \(S_1^{\alpha}(\mathcal O_X,\mathcal O_X)\) holds, but the authors show that, assuming the Continuum Hypothesis, this equivalence does not extend to \(\alpha=\omega_1\). Indeed, under (CH) they construct a compact \(T_2\) destructible space satisfying \(S_1^{\omega_1}(\mathcal O_X,\mathcal O_X)\), which works since a Lindelöf space \(X\) is destructible if and only if One has a winning strategy in \(G_1^{{\omega_1}}(\mathcal O_X,\mathcal O_X)\). It is also proved that the \textit{\(\aleph_1\)-Borel Conjecture} of \textit{Tall-Usuba} (claiming that a Lindelöf \(T_3\) space is indestructible if and only if all of its continuous images in \([0,1]^{\omega_1}\) have cardinality \(\leq \aleph_1\)) is equiconsistent with the existence of an inaccessible cardinal.