Аналитическая игра Lightface - Lightface analytic game

В описательная теория множеств, а Lightface аналитическая игра это игра чей набор выплат А это ${\displaystyle \Sigma _{1}^{1}}$ подмножество из Пространство Бэра; то есть есть дерево Т на ${\displaystyle \omega \times \omega }$ который является вычислимый подмножество ${\displaystyle (\omega \times \omega )^{<\omega }}$, так что А является проекцией множества всех ветвей Т.

В определенность всех аналитических игр Lightface эквивалентно существованию 0^#.