ライトフェイス分析ゲームJJapedia 編集部|更新日: 不明 利得集合Aがベール空間の部分集合であるゲーム 記述的集合論において、ライトフェイス解析ゲームは、利得集合Aがベール空間のサブセットであるゲームです。つまり、 の計算可能なサブセットである木Tが存在し、A はTのすべての枝の集合の射影です。 Σ 1 1 {\displaystyle \Sigma _{1}^{1}} ω × ω {\displaystyle \omega \times \omega } ( ω × ω ) < ω {\displaystyle (\omega \times \omega )^{<\omega }} すべてのライトフェイス解析ゲームの決定性は、 0 #の存在と同等です。 ヴte