✦ LIBER ✦

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

✍ Scribed by M. Lerman

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 176 KB
Volume: 101
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(99)00021-4

No coin nor oath required. For personal study only.

✦ Synopsis

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 ÿnite lattice to be embeddable below every non-zero computably enumerable degree.

📜 SIMILAR VOLUMES

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.