✦ LIBER ✦

Not every finite lattice is embeddable in the recursively enumerable degrees

✍ Scribed by A.H Lachlan; R.I Soare

Publisher: Elsevier Science
Year: 1980
Tongue: English
Weight: 469 KB
Volume: 37
Category: Article
ISSN: 0001-8708
DOI: 10.1016/0001-8708(80)90027-4

No coin nor oath required. For personal study only.

✦ Synopsis

A certain

lattice with eight elements is shown to be not embeddable as a lattice in the recursively enumerable degrees. This refutes the well-known Embedding Conjecture which asserted that every finite lattice could be so embedded.