{"id":"arxiv/2603.03994","url":"https://arxiv.org/abs/2603.03994","tags":["math.LO"],"score":0,"title":"Robinson Splitting Theorem and $Σ_1$ Induction","domain":"math.LO","source":"arxiv","authors":["Yong Liu","Cheng Peng","Mengzhou Sun"],"reviews":0,"subject":"math.LO","summary":"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 in models of $\\mathrm{P}^-+\\mathrm{I}Σ_1$, with lowness replaced by superlowness.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-04","reactions":{}}