Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.09659 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |