More on the pressing down game (Q535164): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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^+\). | |||
Property / review text: 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^+\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Pierre Matet / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 91A44 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5886784 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
large cardinals | |||
Property / zbMATH Keywords: large cardinals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
precipitous ideals | |||
Property / zbMATH Keywords: precipitous ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinite games | |||
Property / zbMATH Keywords: infinite games / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
forcing | |||
Property / zbMATH Keywords: forcing / rank | |||
Normal rank |
Revision as of 09:51, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | More on the pressing down game |
scientific article |
Statements
More on the pressing down game (English)
0 references
11 May 2011
0 references
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^+\).
0 references
large cardinals
0 references
precipitous ideals
0 references
infinite games
0 references
forcing
0 references