Power-collapsing games

Journal of Symbolic Logic 73 (4):1433-1457 (2008)
  Copy   BIBTEX

Abstract

The game Gls(κ) is played on a complete Boolean algebra B, by two players. White and Black, in κ-many moves (where κ is an infinite cardinal). At the beginning White chooses a non-zero element p ∈ B. In the α-th move White chooses pα ∈ (0.p)p and Black responds choosing iα ∈ {0.1}. White wins the play iff $\bigwedge _{\beta \in \kappa}\bigvee _{\alpha \geq \beta }p_{\alpha}^{i\alpha}=0$ , where $p_{\alpha}^{0}=p_{\alpha}$ and $p_{\alpha}^{1}=p\ p_{\alpha}$ . The corresponding game theoretic properties of c.B.a.'s are investigated. So. Black has a winning strategy (w.s) if κ ≥ π(B) or if B contains a κ -closed dense subset. On the other hand, if White has a w.s., then κ ∈ [h₂(B). π(B)). The existence of w.s. is characterized in a combinatorial way and in terms of forcing. In particular, if 2κ = κ ∈ Reg and forcing by B preserves the regularity of κ, then White has a w.s. iff the power 2κ is collapsed to κ in some extension. It is shown that, under the GCH, for each set S ⊆ Reg there is a c.B.a. B such that White (respectively. Black) has a w.s. for each infinite cardinal κ ∈ S (resp. κ ∉ S). Also it is shown consistent that for each κ ∈ Reg there is a c.B.a. on which the game Gls(κ) is undetermined

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Unsupported Boolean algebras and forcing.Miloš S. Kurilić - 2004 - Mathematical Logic Quarterly 50 (6):594-602.
Extender based forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.
Mad families, forcing and the Suslin Hypothesis.Miloš S. Kurilić - 2005 - Archive for Mathematical Logic 44 (4):499-512.
Silver type theorems for collapses.Moti Gitik - 2020 - Annals of Pure and Applied Logic 171 (9):102825.
A Note on Boolean Algebras with Few Partitions Modulo some Filter.Markus Huberich - 1996 - Mathematical Logic Quarterly 42 (1):172-174.
Spector forcing.J. M. Henle - 1984 - Journal of Symbolic Logic 49 (2):542-554.
Normality and p(κ)/j.R. Zrotowski - 1991 - Journal of Symbolic Logic 56 (3):1064-1067.

Analytics

Added to PP
2010-09-12

Downloads
38 (#116,676)

6 months
20 (#753,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

More game-theoretic properties of boolean algebras.Thomas J. Jech - 1984 - Annals of Pure and Applied Logic 26 (1):11-29.
More on the cut and choose game.Jindřich Zapletal - 1995 - Annals of Pure and Applied Logic 76 (3):291-301.

Add more references