Lightface analytic game

Lightface analytic game

In descriptive set theory, a lightface analytic game is a game whose payoff set "A" is a Sigma^1_1 subset of Baire space; that is, there is a tree "T" on omega imesomega which is a computable subset of (omega imesomega)^{, 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#.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Analytic — See also: Analysis Contents 1 Natural sciences 2 Philosophy 3 Social sciences …   Wikipedia

  • Zero sharp — In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is defined to be a particular real number satisfying certain conditions, namely, to be the real number that codes in the canonical way the Gödel numbers of the true formulas… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”