Reducibility orderings: theories, definability, and automorphisms (1980)

by A Nerode, R A Shore
Venue:Ann. of Math