In descriptive set theory, a lightface analytic game is a game whose payoff set A is a
The determinacy of all lightface analytic games is equivalent to the existence of 0#.
References
Lightface analytic game Wikipedia(Text) CC BY-SA