It is shown that every locally countable upper semi-lattice of cardinality the continuum can be embedded into the Turing degrees, assuming Martin's Axiom.

It is shown that every locally countable upper semi-lattice of cardinality the continuum can be embedded into the Turing degrees, assuming Martin's Axiom.

It is shown that every locally countable upper semi-lattice of cardinality continuum can be embedded into the Turing degrees, as- suming Martin's Axiom. 1.

It is shown that every locally countable upper semi-lattice of cardinality the continuum can be embedded into the Turing degrees, assuming Martin's Axiom.

Jan 15, 2015 · 1. Introduction<br />. A partial order (upper semi-lattice, lattice) (L, ≤ L ) ((L, ≤ L , ∨ L ), (L, ≤ L<br /> · 2. Embeddings into the Turing ...

Now we use Martin's Axiom to prove that some uncountable jusls can be embedded into D. Definition 6.12. MA(κ) is the statement: Whenever hIP , ≤i is a non ...

This section is devoted to proving the following theorem. THEOREM 2.2. Every countable partial jump upper semilattice which supports a jump hierarchy can be ...

Martin's Axiom and embeddings of upper semi-lattices into the Turing degrees.Wang Wei - 2010 - Annals of Pure and Applied Logic 161 (10):1291-1298. Upper ...

Apr 4, 2007 · It is false if ℵ1 = 2ℵ0 and true if Martin's Axiom holds at ℵ1. ... Embedding jump upper semilattices into the Turing degrees. Journal ...

Martin's Axiom and embeddings of upper semi-lattices into the Turing degrees.Wang Wei - 2010 - Annals of Pure and Applied Logic 161 (10):1291-1298.details.