Embeddings of \(N_5\) and the contiguous degrees (Q5956887): Difference between revisions
From MaRDI portal
Revision as of 23:16, 3 June 2024
scientific article; zbMATH DE number 1713717
Language | Label | Description | Also known as |
---|---|---|---|
English | Embeddings of \(N_5\) and the contiguous degrees |
scientific article; zbMATH DE number 1713717 |
Statements
Embeddings of \(N_5\) and the contiguous degrees (English)
0 references
30 January 2003
0 references
The authors prove the very attractive result that a computably enumerable degree \({\mathbf a}\) is contiguous (meaning that it contains a single c.e. weak truth table degree) iff it is the top of no embedding of the 5-element nonmodular lattice \(N_5\) into the computably enumerable degrees. This extends an earlier result of \textit{R. G. Downey} and \textit{S. Lempp} [J. Symb. Log. 62, 1215-1240 (1997; Zbl 0897.03047)] who showed that a c.e. degree is contiguous iff it is ``locally distributive.'' The proof is akin to the Downey-Lempp proof but with an added layer of nonuniformity. It is very well written.
0 references
contiguous degrees
0 references
computably enumerable degree
0 references
weak truth table degree
0 references
embedding
0 references
nonmodular lattice
0 references