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

by Richard Shore
Venue:Journal of Symbolic Logic