Borel 决定性：一个精简证明
Borel Determinacy: A Streamlined Proof
AI总结：
本文遵循 Martin 的著作，提出一个融合 Martin、Moschovakis 与 Hurkens 思想的 Borel 决定性精简证明，以更简洁易懂的方式呈现这一经典结果。
摘要：
Borel 决定性结果最初由 Donald Martin 于 1975 年证明，此后一直是多个修订证明的主题。遵循 Martin 的著作 [1]，我们提出一个近期的精简证明，其中融入了 Martin、Moschovakis 和 Hurkens 的思想。我们旨在给出简洁的表述，使更广泛的读者能够理解该证明。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
