A superhigh diamond in the c.e. tt-degrees (Q627429)

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.