On homogeneity and definability in the first-order theory of the Turing degrees (1982)

by R A Shore
Venue:GENERAL FRAMEWORK FOR PRIORITY ARGUMENTS 201 degrees, Journal of Symbolic Logic