C. J. Ash

Computable Structures and the Hyperarithmetical Hierarchy