Long games just beyond fixed countable length
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911357890199552 |
|---|---|
| author | Gappo, Takehiko Müller, Sandra |
| author_facet | Gappo, Takehiko Müller, Sandra |
| contents | 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 $λ$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_03749 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Long games just beyond fixed countable length Gappo, Takehiko Müller, Sandra Logic 03E60, 03E55, 03E45 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 $λ$. |
| title | Long games just beyond fixed countable length |
| topic | Logic 03E60, 03E55, 03E45 |
| url | https://arxiv.org/abs/2601.03749 |