Compactness properties defined by open-point games

Abstract

Let S be a topological property of sequences (such as, for example, "to contain a convergent subsequence" or "to have an accumulation point"). We introduce the following open-point game OP(X,S) on a topological space X. In the n'th move, Player A chooses a non-empty open subet U_n of X, and Player B responds by selecting a point x_n in U_n. Player B wins the game if the sequence (x_n) satisfies property S in X; otherwise, Player A wins. The (non-)existence of regular or stationary winning strategies in OP(X,S) for both players defines new compactness properties of the underlying space X. We thoroughly investigate these properties and construct examples distinguishing half of them, for an arbitrary property S sandwiched between sequential compactness and countable compactness.