Borel Determinacy: A Streamlined Proof
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |