More on the pressing down game (Q535164): Difference between revisions

The authors investigate the pressing down game and its relation to the Banach-Mazur game. Their main result asserts the consistency relative to a measurable cardinal of the existence of a nowhere precipitous, normal ideal \(I\) on \(\omega_2\) such that, for any \(A\in I^+\), Player II has a winning strategy in the following game of length \(\omega_1\):~At stage \(\alpha < \omega_1\), I chooses a regressive function \(f_\alpha : \omega_2 \longrightarrow \omega_2\), and II chooses \(S_\alpha\) such that (a) \(S_\alpha \subseteq A\) if \(\alpha = 0\), and \(S_\alpha \subseteq \displaystyle\bigcap_{\beta < \alpha} S_\beta\) otherwise, and (b) \(f_\alpha\) is constant on \(S_\alpha\). II wins just in case \(\{ S_\alpha : \alpha < \omega_1\} \subseteq I^+\).