The Borel determinacy theorem is of interest for its metamethematical properties as well as its consequences in descriptive set theory.
Determinacy of closed sets of A&omega; for arbitrary A is equivalent to the axiom of choice over ZF (Kechris 1995, p. 139).