Lightface analytic game
From Wikipedia, the free encyclopedia
|This article does not cite any sources. (October 2014) (Learn how and when to remove this template message)|
In descriptive set theory, a lightface analytic game is a game whose payoff set A is a subset of Baire space; that is, there is a tree T on which is a computable subset of , such that A is the projection of the set of all branches of T.
|This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.|