Selective separability and \(q^+\) in maximal spaces (Q2216673)

In this paper the authors investigate two mathematical selection principles in countable \(T_1\) topological spaces that are zero dimensional and for which the topology is maximal. One of these selection principles, \(q^+\), first showed up in studies of filters on the natural numbers. The second one, \(S_{fin}(D,D)\), is more recent. The authors investigate to what extent for a topological space in their target class of topological spaces any one of these two selection principles implies the other one. The findings are that none implies the other. In particular, the authors show that assuming Martin's Axiom for countable partially ordered sets, there exists for any one of the two selection principles a space in the target class which satisfies one of the two selection principles, but not the other (Theorems 4.6 and 4.7). The authors also rule out that in the target class of spaces either of these selection principles implies the negation of the other by showing, assuming Martin's Axiom for countable partially ordered sets, that there are target spaces in which both of these two selection principles hold (Theorem 4.8). The authors also prove that for the target class of spaces it is not necessary that either of these selection principles holds by proving that there are target spaces in which neither of these two selection principles hold (Theorem 4.9).