= Yiannis N. Moschovakis
{c}
<Yiannis N. Moschovakis> works on <descriptive set theory> and its connections with <mathematical logic> and definability. His <Descriptive Set Theory by Yiannis N. Moschovakis (2009)> develops the classification of sets of real numbers through definability and games.<Descriptive Set Theory by Yiannis N. Moschovakis (2009)>[Title page and introductory framework]{ref}
The <Friedman–Moschovakis coding lemma> illustrates how uniform descriptions can be constructed for complicated sets. Coding games and ordinal codes turn existence questions into structured definability arguments. The framework makes it possible to compare not just the sizes of sets but the complexity of specifying their members.<Descriptive Set Theory by Yiannis N. Moschovakis (2009)>[Sections 7D.5–7D.6 and 7D.19]{ref}
Back to article page
