Yiannis N. Moschovakis. Hyperarithmetical Sets. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 107-149, Springer, 2016. [doi]