Computable structures and the hyperarithmetical hierarchy - Ash, C. J. (Studies in logic and the foundations of mathematics ;, 2000)