Two proofs of Borel determinacy.
The 1985 version of the proof.
Determinacy of Infinitely Long Games.