The multiboard Gale–Stewart determinacy conjecture

From papers

Let λ2\lambda\geq 2 be a cardinal and let AωλA\subseteq{}^{\omega}\lambda. In the multiboard Gale–Stewart game

GSλ(A,κ),{\sf GS}_{\lambda}(A,\kappa),

the players play the ordinary Gale–Stewart game on κ\kappa boards simultaneously; ONE wins if at least one resulting board is a win for ONE, while TWO wins if TWO wins on every board. For cardinals λ\lambda and κ\kappa, let

D(λ,κ):{\sf D}(\lambda,\kappa):

mean that for every AωλA\subseteq{}^{\omega}\lambda, the game

GSλ(A,κ){\sf GS}_{\lambda}(A,\kappa)

is determined. Multiboard Gale–Stewart determinacy conjecture. For each cardinal λ2\lambda\geq 2 there exists a cardinal κ1\kappa\geq 1 such that

D(λ,κ){\sf D}(\lambda,\kappa)

holds. The conjecture rules out the possibility that, for some alphabet size, every finite or transfinite number of boards admits an undetermined multiboard game; the supplied text gives no resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Fred Galvin and Marion Scheepers, “Baire spaces and infinite games”, arXiv:1401.6061 (2014).

Solutions 0

No solutions have been posted yet.