The Robinson Splitting Theorem states that a c.e. degree bb splits over any low c.e. degree c<bc<b. We prove that a weaker version of this theorem holds in models of P−+IΣ1P−+IΣ1, with lowness replaced by superlowness.
生成讲解博客的中文版本
生成AI智能校验的中文版本