Recursive labeling systems and stability of recursive structures in hyperarithmetical degrees (1986)

by C J Ash
Venue:Trans. Amer. Math. Soc