Year: 2020
Type: preprint
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 $2^κ$ 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 $ω_1< γ\leκ$ there are $κ$-complete, normal, $κ^+$-distributive ideals having dense sets that are $γ$-closed, but not $γ^+$-closed.
Source: arXiv (Cornell University)
Authors: Foreman, Matthew, Magidor, Menachem, Zeman, Martin
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4383173655