English

Games with Filters

Logic 2023-08-08 v4

Abstract

This paper has two parts. The first is concerned with a variant of a family of games introduced by Holy and Schlicht, that we call \emph{Welch games}. Player II having a winning strategy in the Welch game of length ω\omega on κ\kappa is equivalent to weak compactness. Winning the game of length 2κ2^\kappa is equivalent to κ\kappa being measurable. We show that for games of intermediate length γ\gamma, II winning implies the existence of precipitous ideals with γ\gamma-closed, γ\gamma-dense trees. The second part shows the first is not vacuous. For each γ\gamma between ω\omega and κ+\kappa^+, it gives a model where II wins the games of length γ\gamma, but not γ+\gamma^+. The technique also gives models where for all ω1<γκ\omega_1< \gamma\le\kappa there are κ\kappa-complete, normal, κ+\kappa^+-distributive ideals having dense sets that are γ\gamma-closed, but not γ+\gamma^+-closed.

Keywords

Cite

@article{arxiv.2009.04074,
  title  = {Games with Filters},
  author = {Matthew Foreman and Menachem Magidor and Martin Zeman},
  journal= {arXiv preprint arXiv:2009.04074},
  year   = {2023}
}
R2 v1 2026-06-23T18:24:24.237Z