✦ LIBER ✦

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

✍ Scribed by Burkhard Englert

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 196 KB
Volume: 112
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(01)00091-4

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

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