Borel Determinacy: A Streamlined Proof
Logic
2024-01-19 v1
Abstract
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.
Cite
@article{arxiv.2401.09659,
title = {Borel Determinacy: A Streamlined Proof},
author = {Thomas Buffard and Gabriel Levrel and Sam Mayo},
journal= {arXiv preprint arXiv:2401.09659},
year = {2024}
}