No label defined (Q4944900)

The authors present two theorems which they combine in the following statement: For any \(\Delta^0_2\)-set \(A <_e \overline K\) there are \(\Delta^0_2\)-sets \(B \geq_e A\) and \(D \geq_e A\) such that \(\overline K \leq_e B \oplus D\) and for any \(\omega\)-r.e.~set \(U \geq_e A\), if \(\overline K \leq_e B \oplus U\), then \(\overline K \leq_e U\). These theorems have a number of corollaries that reveal the structure of the \(\Delta_0^2\) enumerability degrees. For example, the \(\Delta_0^2\) \(e\)-degrees are upper dense, and every finite partial order can be embedded into the \(\Delta_0^2\) \(e\)-degrees above any incomplete \(\Delta_0^2\) \(e\)-degree. Also, above any \(\Delta_0^2\)-degree there is a \(\Delta_0^2\)-degree \(\mathbf b < \mathbf 0_e^\prime\) with no \(\omega\)-r.e.~degrees between \(\mathbf b\) and \(\mathbf 0_e^\prime\), other than \(\mathbf 0_e^\prime\). For the entire collection see [Zbl 0932.00038].