Richard A. Shore On Homogeneity and Definability in the First-Order Theory of the Turing Degrees. 8-16 1982 47 J. Symb. Log. 1 db/journals/jsyml/jsyml47.html#Shore82