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

by R A Shore
Venue:J. Symbolic Logic