Compactness properties defined by open-point games (Q2216573)

The authors study topological properties related to sequences in an abstract space, by considering suitable topological games. Consider that it is given a topological property \(S\) about sequences in a topological space (properties such as, for example, ``to contain a convergent subsequence'' or ``to have an accumulation point''). The authors introduce an open-point game for two players 1 and 2 on a topological space \(X\), such that in the \(n\)-th move, Player 1 chooses a non-empty open set (say \(U_n\)) in the topology given a priori on \(X\), and Player 2 responds by selecting a point that belongs to that open set \(U_n\). Player 2 wins the game if the sequence of points so constructed satisfies the property \(S\) considered a priori on the given topological space \(X\). Otherwise, it is Player 1 who wins. The (non-)existence of regular or stationary winning strategies in that game for both players defines new compactness properties of the underlying space \(X\). The authors investigate in depth those properties. They construct suitable examples for this analysis, for an arbitrary property \(S\) sandwiched between sequential compactness and countable compactness.