A hierarchy for cuppable degrees (Q1584492): Difference between revisions

A c.e. degree \({\mathbf a}\) is called cuppable if there is a c.e. degree \({\mathbf b}\neq\mathbf{0}'\) such that \({\mathbf a}\vee {\mathbf b}= \mathbf{0}'\). A c.e. degree \({\mathbf a}\) is called \(\text{low}_n\)-cuppable, \(n>0\), if there is a \(\text{low}_n\) c.e. degrees \({\mathbf c}\) such that \({\mathbf a}\vee {\mathbf c}=\mathbf{0}'\). Let \(\text{LC}_n\) be the set of all \(\text{low}_n\)-cuppable c.e. degrees. In this paper it is proved that \(\text{LC}_1 \subset \text{LC}_2\).