Alan D. Vlach Hyperarithmetical Relations in Expansions of Recursive Structures. 163-196 1994 66 Ann. Pure Appl. Logic 2 db/journals/apal/apal66.html#Vlach94