English

Maker-Breaker games on $ K_{\omega_1}$ and $K_{\omega,\omega_1}$

Combinatorics 2023-06-16 v2 Logic

Abstract

We investigate Maker-Breaker games on graphs of size 1\aleph_1 in which Maker's goal is to build a copy of the host graph. We establish a firm dependence of the outcome of the game on the axiomatic framework. Relating to this, we prove that there is a winning strategy for Maker in the Kω,ω1K_{\omega,\omega_1}-game under ZFC+MA+¬\negCH and a winning strategy for Breaker under ZFC+CH. We prove a similar result for the Kω1K_{\omega_1}-game. Here, Maker has a winning strategy under ZF+DC+AD, while Breaker has one under ZFC+CH again.

Keywords

Cite

@article{arxiv.2201.08681,
  title  = {Maker-Breaker games on $ K_{\omega_1}$ and $K_{\omega,\omega_1}$},
  author = {Nathan Bowler and Florian Gut and Attila Joó and Max Pitz},
  journal= {arXiv preprint arXiv:2201.08681},
  year   = {2023}
}

Comments

7 pages