C. Ash and J. Knight, Computable Structures and Hyperarithmetical Hierarchy Review uri icon