On the \Sigma 2-theory of the upper semilattice of Turing degrees (1993)

by T A Slaman
Venue:J. Symbolic Logic