Computable structures and the hyperarithmetical hierarchy, volume 144 (2000)

by Christopher J Ash, Julia F Knight
Venue:of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co