A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees preserving greatest element
Date of Completion
January 2000
Keywords
Mathematics
Degree
Ph.D.
Abstract
We present a necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable (c.e.) degrees preserving greatest element. In the earlier work Lerman [19] gave a necessary and sufficient condition for embeddings of principally decomposable lattices into the c.e. degrees that do not preserve greatest element. Here, we present the construction of an embedding of a principally decomposable lattice that preserves greatest element, prove that Lerman's condition is sufficient for such an embedding construction and show that the necessity of the condition follows from [19]. ^
Recommended Citation
Englert, Burkhard, "A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees preserving greatest element" (2000). Doctoral Dissertations. AAI9984065.
https://digitalcommons.lib.uconn.edu/dissertations/AAI9984065