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 on is equivalent to weak compactness. Winning the game of length is equivalent to being measurable. We show that for games of intermediate length , II winning implies the existence of precipitous ideals with -closed, -dense trees. The second part shows the first is not vacuous. For each between and , it gives a model where II wins the games of length , but not . The technique also gives models where for all there are -complete, normal, -distributive ideals having dense sets that are -closed, but not -closed.
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}
}