The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations, in preparation (0)

by S Lempp, M Lerman