Binary Choice Games and Arithmetical Comprehension
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914092163268608 |
|---|---|
| author | Aguilera, Juan Pablo Kouptchinsky, Thibaut |
| author_facet | Aguilera, Juan Pablo Kouptchinsky, Thibaut |
| contents | We prove that Arithmetical Comprehension is equivalent to the determinacy of all clopen integer games in which each player has at most two moves per turn. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_12612 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Binary Choice Games and Arithmetical Comprehension Aguilera, Juan Pablo Kouptchinsky, Thibaut Logic We prove that Arithmetical Comprehension is equivalent to the determinacy of all clopen integer games in which each player has at most two moves per turn. |
| title | Binary Choice Games and Arithmetical Comprehension |
| topic | Logic |
| url | https://arxiv.org/abs/2510.12612 |