Abstract. We apply the theory of infinite two-person games to two well-known problems in topology: Suslin's Problem and Arhangel'skii's problem on G δ covers of compact spaces. More specifically, we prove results of which the following two are special cases: 1) every linearly ordered topological space satisfying the game-theoretic version of the countable chain condition is separable and 2) in every compact space satisfying the game-theoretic version of the weak Lindelöf property, every cover by G δ sets has a continuum-sized subcollection whose union is G δ -dense.
IntroductionInfinite games have been exploited in recent years to give partial answers to various important problems in General Topology, including van Douwen's D-space problem (see [1]), Arhangel'skii's problem on the cardinality of Lindelöf spaces with points G δ (see [14], [2]) and Bell, Ginsburg and Woods's problem on the cardinality of weakly Lindelöf first-countable regular spaces (see [6], [3], [4]). We use them to give partial ZFC answers to Suslin's Problem and Arhangel'skii's question of whether in every compact space, a cover by G δ sets has a continuum-sized subfamily with a G δ -dense union.It was already known to Cantor that the real line is the unique complete dense linear order without endpoints which is separable. In the first issue of Fundamenta Mathematicae, Suslin asked whether separability could be replaced with the countable chain condition in this result. Any counterexample to this assertion came to be known as a Suslin Line. The problem turned out to be independent of the usual axioms of ZFC: under MA ω 1 there are no Suslin Lines, and thus the answer to Suslin's question is yes. However, Suslin Lines can be found in certain models of set theory, for example under V = L. Various mathematicians wondered whether there was a natural strengthening of the ccc which implied a positive answer to Suslin's Problem. For example, Knaster proved that every ordered continuum with the Knaster property is separable and Shapirovskii proved that every compact space with countable tightness and Shanin's condition is separable (see [15]).2000 Mathematics Subject Classification. Primary: 54A25, 91A44; Secondary: 54F05, 54G10.