English

On Determinacy for Cut and Choose Games of Uncountable Length

Logic 2026-07-03 v1

Abstract

We obtain results on cut and choose games for complete Boolean algebras. Zapletal proved that there is a Boolean algebra B\mathbb{B} such that Gωcandc(B)\mathcal{G}_\omega^\textsf{candc}(\mathbb{B}), the version of the game which ends on the ω\omega'th round, is undetermined. We prove that, assuming the consistency of a proper class of supercompact cardinals, the limit version G<λcandc(B)\mathcal{G}^{\textsf{candc}}_{< \lambda}(\mathbb{B}), in which there are λ\lambda-many rounds but no concluding round, is consistently determined for all complete Boolean algebras B\mathbb{B} and all successor cardinals λ\lambda. In particular, this answers a question of Zapletal \cite[Question 2]{Zapletal1995}. We also show that undetermined instances of the game Gλcandc(B)\mathcal{G}^\textsf{candc}_\lambda(\mathbb{B}) follow from the approachability property, extending results of Dobrinen, and we prove that undetermined instances are compatible with MM++\textsf{MM}^{++}.

Keywords

Cite

@article{arxiv.2607.03444,
  title  = {On Determinacy for Cut and Choose Games of Uncountable Length},
  author = {Maxwell Levine},
  journal= {arXiv preprint arXiv:2607.03444},
  year   = {2026}
}