The multiboard Gale–Stewart determinacy conjecture

About 12 years old · traced to

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.