A superhigh diamond in the c.e. tt-degrees (Q627429)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A superhigh diamond in the c.e. tt-degrees |
scientific article |
Statements
A superhigh diamond in the c.e. tt-degrees (English)
0 references
2 March 2011
0 references
A computably enumerable set \(A\) is superhigh if \(A'\equiv_{\text{tt}}0''\) . In this paper it is proved that there are superhigh computably enumerable sets \(A\) and \(B\) such that \({\mathbf 0}\), \(\text{deg}_{\text{tt}}(A)\), \(\text{deg}_{\text{tt}}(B)\), and \({\mathbf 0}'_{\text{tt}}\) form a diamond in the computably enumerable tt-degrees.
0 references
computably enumerable sets
0 references
truth-table degrees
0 references
superhighness
0 references
lattice embeddings
0 references