English

Long games just beyond fixed countable length

Logic 2026-01-08 v1

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 λ\lambda such that the order type of Woodin cardinals below λ\lambda is λ\lambda.

Keywords

Cite

@article{arxiv.2601.03749,
  title  = {Long games just beyond fixed countable length},
  author = {Takehiko Gappo and Sandra Müller},
  journal= {arXiv preprint arXiv:2601.03749},
  year   = {2026}
}

Comments

36 pages

R2 v1 2026-07-01T08:54:01.720Z