Оглавление
Аналитическая игра Lightface
-
Определение аналитической игры lightface
- Игра lightface имеет набор выплат A, являющийся подмножеством пространства Бэра.
- Дерево T на ω × ω является вычислимым подмножеством (ω × ω) < ω, и A является проекцией ветвей T.
-
Детерминированность аналитических игр lightface
- Детерминированность всех игр lightface эквивалентна существованию 0#.
-
Призыв к расширению статьи
- Статья связана с математической логикой и является заглушкой.
- Читателей просят помочь Википедии, расширив статью.