Borel Determinacy: A Streamlined Proof
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |