The decidability of the existential theory of the poset of the recursively enumerable degrees with jump relations (1996)

by Steffen Lempp, Manuel Lerman
Venue:Advances in Mathematics