Almost universal cupping and diamond embeddings (Q408168)

This paper continues the study of cupping in the d.r.e. (2-r.e.) degrees. A d.r.e. degree \(\boldsymbol d\) has the almost universal cupping property if, for every r.e. degree \(\boldsymbol a\), either \(\boldsymbol a < \boldsymbol d\) or \(\boldsymbol a \cup \boldsymbol d = \mathbf 0'\). Cooper's maximal incomplete d.r.e. degree plainly has this property. The principal result is that there is an almost universal cupping degree \(\boldsymbol d\) and a greatest r.e. degree \(\boldsymbol b < \boldsymbol d\) such that \(\boldsymbol b\) is capped by an r.e. degree \(\boldsymbol c\), making \(\boldsymbol b\) and \(\boldsymbol c\) a minimal pair in the d.r.e. degrees. Downey's diamond theorem follows easily. With \(\boldsymbol d\) and \(\boldsymbol c\) as above, a diamond is formed by \(\mathbf 0,\mathbf 0'\), any nonzero d.r.e. degree \(\boldsymbol e \leq \boldsymbol c\), and any incomplete d.r.e. degree \(\boldsymbol f \geq \boldsymbol d\).