Lightface analytic game
id:
lightface-analytic-game-243-10888078
title:
Lightface analytic game
text:
In descriptive set theory, a lightface analytic game is a game whose payoff set A is a Σ 1 1 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. The determinacy of all lightface analytic games is equivalent to the existence of 0#.
brand slug:
wiki
category slug:
encyclopedia
description:
Game whose payoff set A is a subset of Baire space
original url:
https://en.wikipedia.org/wiki/Lightface_analytic_game
date created:
date modified:
2023-10-14T02:06:39Z
main entity:
{"identifier":"Q6546281","url":"https://www.wikidata.org/entity/Q6546281"}
image:
fields total:
13
integrity:
14