Borel Determinacy: A Streamlined Proof

Thomas Buffard, Gabriel Levrel, Sam Mayo

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…