Conceptual proofs of the Menger and Rothberger games

DOI10.1016/J.TOPOL.2019.107048zbMATH Open1433.91038OpenAlexW2996864564WikidataQ113862551 ScholiaQ113862551MaRDI QIDQ2295640FDOQ2295640

Authors P. Szewczak, Boaz Tsaban

Publication date 14 February 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.02736

zbMATH Keywords

selection principlestopological gamesMenger propertyRothberger property

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Foundations: limits and generalizations, elementary topology of the line (26A03)

Abstract: We provide conceptual proofs of the two most fundamental theorems concerning topological games and open covers: Hurewicz's Theorem concerning the Menger game, and Pawlikowski's Theorem concerning the Rothberger game.

Recommendations

• Games and Lindström theorems
• Equivalence of the Rothberger, \(k\)-Rothberger, and restricted Menger games
• Mean-payoff games and propositional proofs
• Mean-payoff games and propositional proofs
• Game-theoretical aspects of the Borel conjecture
• A note on the Menger (Rothberger) property and topological games
• Some remarks on relations between proofs and games
• Provably \(\Delta_1\) games
• Proof of a conjecture on game domination

Cites work

• scientific article; zbMATH DE number 3609500 (Why is no real title available?)
• scientific article; zbMATH DE number 695617 (Why is no real title available?)
• A bibliography of topological games
• A minicourse on topological games
• Algebra, selections, and additive Ramsey theory
• Combinatorics of open covers. I: Ramsey theory
• Every Lusin set is undetermined in the point-open game
• Open covers and partition relations
• The combinatorics of open covers. II
• \(D\)-spaces, topological games, and selection principles

Cited in

(12)

• Games and Lindström theorems
• Locally homeomorphic infinite Lindelöf \(P\)-groups are homeomorphic
• Topological games of bounded selections
• Modified Schmidt games and a conjecture of Margulis
• Certain observations on a \(\mathrm{U}_\mathrm{fin}\)-type selection principle
• Consonant spaces of countable type and the Menger property
• Pointless proofs of the Menger and Rothberger games
• Selection games and the Vietoris space
• On traditional Menger and Rothberger variations
• Complements of consonant spaces in complete spaces
• Abstract colorings, games and ultrafilters
• Rothberger property and related games

This page was built for publication: Conceptual proofs of the Menger and Rothberger games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2295640)