ライトフェイス分析ゲーム

記述的集合論において、ライトフェイス解析ゲームとは、利得集合Aがベール空間のサブセットであるゲームのことである。つまり、の計算可能なサブセットである木Tが存在し、A はTのすべての枝の集合の射影である。 ${\displaystyle \Sigma _{1}^{1}}$ ${\displaystyle \omega \times \omega }$ ${\displaystyle (\omega \times \omega )^{<\omega }}$

すべてのライトフェイス解析ゲームの決定性は、 0 ^#の存在と同等です。