More on the pressing down game (Q535164): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3101436742 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0905.3913 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly normal ideals ou PKl and the singular cardinal hypothesis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On weakly precipitous filters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On almost precipitous ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Games played on Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An ideal game / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some pathological examples of precipitous ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On normal precipitous ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Precipitous ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On ideals of sets and the power set operation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: More game-theoretic properties of Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some properties of \(\kappa\)-complete ideals defined in terms of infinite games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some examples of precipitous ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Winning the pressing down game but not Banach-Mazur / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Ehrenfeucht-Fraisse-Game of Length ω 1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Collapsing functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Playful Boolean Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: More on the cut and choose game / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:37, 4 July 2024
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
0 references