Book

Ordinal Definability and Recursion Theory

by Alexander S. Kechris, Benedikt Löwe, John R. Steel