Full range of game values in infinite chess

For infinite chess, let ω1Ch\omega_1^{\mathfrak{Ch}} be the supremum of game values for positions with at most finitely many pieces, let ω1Ch,c\omega_1^{{\mathfrak{Ch}},c} and ω1Ch,hyp\omega_1^{{\mathfrak{Ch}},\mathrm{hyp}} denote the corresponding canonical and hyperarithmetic bounds, let ω1ck\omega_1^{ck} be the Church–Kleene ordinal, and let ω1Ch~\omega_1^{\widetilde{\mathfrak{Ch}}} be the supremum for arbitrary positions. Full-range conjecture. The omega one of chess, for both finite and arbitrary positions, is as large as possible:

ω1Ch=ω1Ch,c=ω1Ch,hyp=ω1ckω1Ch~=ω1.\omega_1^{\mathfrak{Ch}}=\omega_1^{{\mathfrak{Ch}},c}=\omega_1^{{\mathfrak{Ch}},\mathrm{hyp}}=\omega_1^{ck}\qquad\qquad\omega_1^{\widetilde{\mathfrak{Ch}}}=\omega_1.

This asserts that chess realizes the maximal game-value ranges allowed by the relevant computability and set-theoretic bounds; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

C. D. A. Evans and Joel David Hamkins, “Transfinite game values in infinite chess”, arXiv:1302.4377 (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.