✦ LIBER ✦

Embedding Finite Lattices into the Ideals of Computably Enumerable Turing Degrees

✍ Scribed by William C. Calhoun and Manuel Lerman

Book ID: 124978639
Publisher: Association for Symbolic Logic
Year: 2001
Tongue: English
Weight: 274 KB
Volume: 66
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2694975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Upper bounds on ideals in the computably

Upper bounds on ideals in the computably enumerable Turing degrees

✍ George Barmpalias; André Nies 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 267 KB

A necessary and sufficient condition for

A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees

✍ M. Lerman 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 176 KB

We present a necessary and su cient condition for the embeddability of a principally decomposable ÿnite lattice into the computably enumerable degrees. This improves a previous result which required that, in addition, the lattice be ranked. The same condition is also necessary and su cient for a ÿni

A necessary and sufficient condition for

A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees preserving greatest element

✍ Burkhard Englert 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 196 KB

We present a necessary and su cient condition for the embeddability of a ÿnite principally decomposable lattice into the computably enumerable degrees preserving greatest element.

Embedding Finite Lattices into the Σ02En

Embedding Finite Lattices into the Σ02Enumeration Degrees

✍ Steffen Lempp and Andrea Sorbi 📂 Article 📅 2002 🏛 Association for Symbolic Logic 🌐 English ⚖ 489 KB

Decomposability of low 2-computably enum

Decomposability of low 2-computably enumerable degrees and turing jumps in the Ershov hierarchy

✍ M. Kh. Faizrakhmanov 📂 Article 📅 2010 🏛 Allerton Press, Inc. 🌐 English ⚖ 538 KB

Martin’s Axiom and embeddings of upper s

Martin’s Axiom and embeddings of upper semi-lattices into the Turing degrees

✍ Wang Wei 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 309 KB