Robinson Splitting Theorem and ${\Sigma }_1$ Induction

Yong Liu, Cheng Peng, Mengzhou Sun

The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds…