기술적 집합론이 보상 베르의 공간은 Σ 11{\displaystyle \Sigma_{1}^{1}}부분 집합, 획이 가는 활자 분석적 게임은 게임, 즉이ω×ω{\displaystyle\omega \times \omega}에(ω × ω)의 있는 계산할 수 있는 부분 집합이 나무를 T는;ω{\displaystyle(\omega \times \omega)^{<>\om.ega}}
그러한 A는 T의 모든 가지 세트의 투영이다.
모든 라이트페이스 분석 게임의 결정성은 0의# 존재와 동일하다.
