Robinson Splitting Theorem and $\Sigma_1$ Induction
Logic
2026-03-05 v1
Abstract
The Robinson Splitting Theorem states that a c.e. degree splits over any low c.e. degree . We prove that a weaker version of this theorem holds in models of , with lowness replaced by superlowness.
Cite
@article{arxiv.2603.03994,
title = {Robinson Splitting Theorem and $\Sigma_1$ Induction},
author = {Yong Liu and Cheng Peng and Mengzhou Sun},
journal= {arXiv preprint arXiv:2603.03994},
year = {2026}
}