Descriptive Set Theory by Yiannis N. Moschovakis (2009) (source code)

= Descriptive Set Theory by Yiannis N. Moschovakis (2009)
{c}
{tag=Work by Yiannis N. Moschovakis}
{title2=8 April 2009}

https://www.math.ucla.edu/~ynm/lectures/dst2009/dst2009.pdf

Second edition author manuscript. Sections7D.5–7D.6 give the coding lemmas; Section7D.19 constructs coding games using ordinal codes.