Parameter definability in the recursively enumerable degrees, to appear (0)

by A Nies
Venue:1997], Logic for Applications