Long games just beyond fixed countable length

Read full text
Authors: Takehiko Gappo, Sandra Müller
Cited by: 0

Abstract

We introduce a new type of game on natural numbers of variable countable length, which can be regarded as a diagonalization of all games of fixed countable length on natural numbers. Building on previous work by Trang and Woodin, we show that analytic determinacy of the game is equivalent to the existence of a sharp for a canonical inner model with a limit of Woodin cardinals $λ$ such that the order type of Woodin cardinals below $λ$ is $λ$.

Fields of Study & Subjects

Advanced Topology and Set Theory Computability Logic AI Algorithms Mathematical and Theoretical Analysis

Publication details

Journal / source
arXiv (Cornell University)
Publication date
7 January 2026
Document type
Preprint