The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility
Steffen Lempp, Manuel Lerman · Journal of Symbolic Logic · 1992
Abstract We show the decidability of the existential theory of the recursively enumerable degrees in the language of Turing reducibility, Turing reducibility of the Turing jumps, and least and greatest element.