In his paper Higher set theory and mathematical practice MR0284327, Harvey Friedman shows how sets of higher rank are necessary to prove Borel determinacy.
François G. Dorais
- 44.4k
- 6
- 150
- 233