 Projective determinacy

Projective determinacy states that every infinite game of perfect information whose payoff is a projective set is determined.