Finite cupping sets (Q1762727)

The author shows that, given any Turing degree \(0<c\leq 0^{\prime }\) and any uniformly \(\Delta _{2}\) sequence of degrees \(b_{0},b_{1},b_{2},\dots\) such that \(\forall i\) \(( b_{i}\nsucceq c) \), there exists \(0<a<0^\prime\) such that for all \(i\geq 0\), \(a\vee b_{i}\nsucceq c\). Then, by considering the case \(c=0^{\prime }\), he concludes that there exists no `finite cupping set', i.e. that there exists no finite set of degree strictly below \(0^{\prime },b_{0},b_{1},\dots ,b_{l}\), say, such that for every degree \(0<a<0^{\prime }\) there exists \(0\leq i\leq l\), \(0^{\prime }=a\vee b_{i}. \)