Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets (Q5961497)

Let be \({\mathcal S}={\mathcal D}_e (\leq\text{\textbf{0}}^{\mathbf\prime}_e)\). An \(e\)-degree \({\mathbf a}\in{\mathcal S}\) has the anticupping property if \((\exists{\mathbf b})[\text{\textbf{0}}_e<{\mathbf b}<{\mathbf a} \& (\forall{\mathbf c}\leq{\mathbf a})[{\mathbf a}\leq{\mathbf b}\cup{\mathbf c}\Rightarrow{\mathbf a}\leq{\mathbf c}]]\). An \(e\)-degree \({\mathbf a}\in{\mathcal S}\) is called noncuppable if \({\mathbf a}<\text{\textbf{0}}^{\mathbf\prime}_e\) and for no \({\mathbf b}<\text{\textbf{0}}^{\mathbf\prime}_e\) we have \(\text{\textbf{0}}^{\mathbf\prime}_e={\mathbf a}\cup{\mathbf b}\). In this paper, the following three theorems are proved. Theorem 1. There exists a noncuppable \(\Sigma^0_2\) \(e\)-degree \({\mathbf a}>\text{\textbf{0}}_e\). Theorem 2. For every nonzero \(\Delta^0_2\) \(e\)-degree \({\mathbf b}\) there exists a \(\Delta^0_2\) total \(e\)-degree \({\mathbf a}<\text{\textbf{0}}^{\mathbf\prime}_e\) such that \(\text{\textbf{0}}^{\mathbf\prime}_e={\mathbf b}\cup{\mathbf a}\). Theorem 3. There exists a low \(e\)-degree \({\mathbf c}\) with the anticupping property.