Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2301.11805 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910772578222080 |
|---|---|
| author | Notaro, Lorenzo |
| author_facet | Notaro, Lorenzo |
| contents | Generalizing a result of Kiss, we provide a game that characterizes Baire class 1 functions between arbitrary separable metrizable spaces. We show that the determinacy of our game is equivalent to a generalization of Baire's grand theorem, and that both these statements hold under AD and in Solovay's model. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_11805 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A game for Baire's grand theorem Notaro, Lorenzo Logic 03E15 (Primary) 26A21, 91A44 (Secondary) Generalizing a result of Kiss, we provide a game that characterizes Baire class 1 functions between arbitrary separable metrizable spaces. We show that the determinacy of our game is equivalent to a generalization of Baire's grand theorem, and that both these statements hold under AD and in Solovay's model. |
| title | A game for Baire's grand theorem |
| topic | Logic 03E15 (Primary) 26A21, 91A44 (Secondary) |
| url | https://arxiv.org/abs/2301.11805 |