Classical descriptive set theory as a refinement of effective descriptive set theory (2010)

by Yiannis N Moschovakis