Computable structures and the hyperarithmetical hierarchy. (2000)