Lightface analytic game
In descriptive set theory , a lightface analytic game is a Determinacy Games game whose Determinacy Games ... of all lightface analytic games is equivalent to the existence of Zero sharp 0 ..
Effective descriptive set theory
Effective descriptive set theory is the branch of descriptive set theory dealing with Set mathematics sets of real number reals having lightface definitions that is, definitions that do not require an ...
Borel hierarchy
. Lightface hierarchy The lightface Borel hierarchy is an effective version of the boldface Borel hierarchy. It is important in effective descriptive set theory and recursion theory . The lightface Borel ..
Pointclass
union of Wadge degree s. Lightface pointclasses The Borel and projective hierarchies have analogs ... 1 math sets, with a lightface math Sigma math , are no longer arbitrary unions of such neighborhoods ..
Yiannis N. Moschovakis
with the development of the Effective descriptive set theory effective , or lightface pointclass lightface , version of descriptive set theory. Moschovakis earned his Ph.D. from University of Wisconsin ..
Zero sharp
to the determinacy of lightface analytic game s. In fact, the strategy for a universal lightface analytic game has the same Turing degree as 0 sup sup . Other sharps If x is any set, then x ..
Analytic
mathworld.wolfram.com Analytic.html ref In set theory Analytic set Analytical hierarchy Lightface analytic ..
List of set theory topics
Talk Infinity Borel set Lightface analytic game Talk Lightface analytic game Perfect set property ..
Analytic set
convention, but rather is used distinctively from its lightface counterpart math Sigma 1 1 ..
List of mathematical logic topics
set Talk Infinity Borel set Lightface analytic game Talk Lightface analytic game Perfect set property ..
Concordant Version
1 lightface and boldface type to indicate when an English word is inserted to complete the sense ... actually found in the Hebrew text, and lightface type indicate English words added for clarity ..
Analytical hierarchy
does not contain set parameters. The Greek letters here are lightface symbols, which indicate ..
Arithmetical hierarchy
0 n math for natural numbers n including 0 . The Greek letters here are lightface symbols, which indicates ... arithmetical subset of Cantor space of Baire space is a Borel set . The lightface Borel hierarchy extends ..
Descriptive set theory
theory . In particular, it focuses on lightface analogues of hierarchies of classical ..
List of mathematics articles (L)
Light s associativity test Talk Light s associativity test Lightface analytic game Talk Lightface ..
Set theory
theory . It includes the study of lightface pointclass es, and is closely related to hyperarithmetical ..