lightface analytic game

{{Use dmy dates|date=October 2023}}

{{Short description|Game whose payoff set A is a subset of Baire space}}

{{unreferenced|date=October 2014}}

In descriptive set theory, a lightface analytic game is a game whose payoff set A is a $\backslash Sigma^1\_1$ subset of Baire space; that is, there is a tree T on $\backslash omega\backslash times\backslash omega$ which is a computable subset of , such that A is the projection of the set of all branches of T.

The determinacy of all lightface analytic games is equivalent to the existence of 0^#.

Category:Effective descriptive set theory

Category:Determinacy

{{mathlogic-stub}}