Topological basis problem under determinacy (Q6880485)

The general Topological Basis Problem asks for a class \(\mathcal{T}\) of topological spaces whether there is a small set \(T\) of members of \(\mathcal{T}\) such that every \(X\in\mathcal{T}\) has a subspace that belongs to \(T\).\N\NAfter a short survey of previous results the authors show that under the assumption of \(\mathsf{AD}^+\) and \(V=L(\mathcal{P}(\mathbb{R}))\) every uncountable regular space contains (at least) a copy of one of the following four spaces: the discrete space of cardinality \(\aleph_1\) or the Cantor set with its normal topology, the Sorgenfrey topology, or the discrete topology. The first step uses the full assumption to reduce the general case to topologies on \(\mathbb{R}\) or \(\omega_1\). Then \(\mathsf{AD}+\mathsf{DC}_\mathbb{R}\) suffices to show that every regular topology on \(\mathbb{R}\) contains a copy of the Cantor set with one of the three topologies mentioned above, and that every Hausdorff space of cardinality \(\aleph_1\) has a discrete subspace of cardinality \(\aleph_1\).\N\NThe paper ends with similar results to those above for Borel-generated topologies on \(\mathbb{R}\) and asks whether these results hold, in \(\mathsf{ZFC}\), for (co-)analytically-generated topologies.