Computable Structures and the Hyperarithmetical Hierarchy, Studies in Logic and the Foundations of Mathematics