We prove that every countable jump upper semilattice can be embedded in D, where a jump upper semilattice (jusl) is an upper semilattice endowed with a strictly increasing and monotone unary operator that we call jump, and D is the jusl of Turing degrees. As a corollary we get that the existential theory of 〈D, ≤T, ∨, ′ 〉 is decidable. We also prove that this result is not true about jusls with 0, by proving that not every quantifier free 1-type of jusl with 0 is realized in D. On the other hand, we show that every quantifier free 1-type of jump partial ordering (jpo) with 0 is realized in D. Moreover, we show that if every quantifier free type, p(x1,..., xn), of jpo with 0, which contains the formula x1 ≤ 0 (m) &... & xn ≤ 0 (m) for some m, is realized in D, then every every quantifier free type of jpo with 0 is realized in D. We also study the question of whether every jusl with the c.p.p. and size κ ≤ 2 ℵ0 is embeddable in D. We show that for κ = 2 ℵ0 the answer is no, and that for κ = ℵ1 it is independent of ZFC. (It is true if MA(κ) holds.)

We prove that the two quantifier theory of the Turing degrees with order, join and jump is undecidable.

Abstract. The three quantifier theory of (R, ≤T), the recursively enumerable degrees under Turing reducibility, was proven undecidable by Lempp, Nies and Slaman (1998). The two quantifier theory includes the lattice embedding problem and its decidability is a long-standing open question. A negative solution to this problem seems out of reach of the standard methods of interpretation of theories because the language is relational. We prove the undecidability of a fragment of the theory of R that lies between the two and three quantifier theories with ≤T but includes function symbols. Theorem. The two quantifier theory of (R, ≤, ∨, ∧), the r.e. degrees with Turing reducibility, supremum and infimum (taken to be any total function extending the infimum relation on R) is undecidable. The same result holds for various lattices of ideals of R which are natural extensions of R preserving join and infimum when it exits. 1.