Borel Determinacy: A Streamlined Proof
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914645151842304 |
|---|---|
| author | Buffard, Thomas Levrel, Gabriel Mayo, Sam |
| author_facet | Buffard, Thomas Levrel, Gabriel Mayo, Sam |
| contents | First proved my Donald Martin in 1975, the result of Borel determinacy has been the subject of multiple revised proofs. Following Martin's book [1], we present a recent streamlined proof which implements ideas of Martin, Moschovakis, and Hurkens. We aim to give a concise presentation that makes this proof approachable to a wider audience. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_09659 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Borel Determinacy: A Streamlined Proof Buffard, Thomas Levrel, Gabriel Mayo, Sam Logic First proved my Donald Martin in 1975, the result of Borel determinacy has been the subject of multiple revised proofs. Following Martin's book [1], we present a recent streamlined proof which implements ideas of Martin, Moschovakis, and Hurkens. We aim to give a concise presentation that makes this proof approachable to a wider audience. |
| title | Borel Determinacy: A Streamlined Proof |
| topic | Logic |
| url | https://arxiv.org/abs/2401.09659 |