On Determinacy for Cut and Choose Games of Uncountable Length
Abstract
We obtain results on cut and choose games for complete Boolean algebras. Zapletal proved that there is a Boolean algebra B such that Gωcandc(B), the version of the game which ends on the ω'th round, is undetermined. We prove that, assuming the consistency of a proper class of supercompact cardinals, the limit version Gcandc< λ(B), in which there are λ-many rounds but no concluding round, is consistently determined for all complete Boolean algebras B and all successor cardinals λ. In particular, this answers a question of Zapletal [Question 2]Zapletal1995. We also show that undetermined instances of the game Gcandcλ(B) follow from the approachability property, extending results of Dobrinen, and we prove that undetermined instances are compatible with MM++.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.