In his paper *Higher set theory and mathematical practice* [MR0284327](http://www.ams.org/mathscinet-getitem?mr=284327), Harvey Friedman shows how sets of higher rank are necessary to prove [Borel determinacy](http://en.wikipedia.org/wiki/Borel_determinacy_theorem).