[论文解读] Robinson Splitting Theorem and $Σ_1$ Induction

Yong Liu, Cheng Peng+1 more|arXiv (Cornell University)|Mar 4, 2026

Computability, Logic, AI Algorithms被引用 0

一句话总结

扩展 Robinson 分裂定理到 P^- + IΣ1 的模型，通过证明一个在超低 c 和动态优先级阻塞下的较弱版本；当 d = b 时恢复 Robinson 的结果。

ABSTRACT

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.

研究动机与目标

• 激励在弱算术理论中研究可 computably enumerable 度的分裂现象。
• 研究是否可以在 P^- + IΣ1 的模型中通过用超低度替代低度来证明 Robinson 的分裂定理。
• 开发一个与 IΣ1 兼容的有限伤害风格强制构造，并分析必要的有限性论证。

提出的方法

• 将 Sacks 的分裂框架改编到 P^- + IΣ1 的模型。
• 引入阻塞和动态优先级技术以处理有限伤害。
• 将超低集合的超正则性和 ω-c.e. 属性作为关键工具。
• 构造局部泛函来见证分裂，同时保持给定度的非计算性。
• 利用 Robinson 的技巧在受限理论内通过有限伤害来证明计算。

实验结果

研究问题

• RQ1 如果将低度 c 替换为超低度，是否可以在 P^- + IΣ1 的模型中建立 Robinson 的分裂定理？
• RQ2 需要哪些额外的有限性或正则性属性来界定约束并在 IΣ1 中进行有限伤害风格构造？
• RQ3 阻塞与动态优先级方法如何与 ω-c.e. 和超正则性相互作用以实现分裂？
• RQ4 当额外的度约束 d 等于 b 时，较弱的定理由是否能恢复经典的 Robinson 分裂定理？

主要发现

• 在 P^- + IΣ1 的模型中，当 c 为超低且固定度 d 不低于 c 时，存在一个较弱的 Robinson 分裂定理。
• 存在不可比较的 c.e. 度 a0 和 a1，使得 b = a0 ⊕ a1，且 d 不≤ a_i ⊕ c 对于 i < 2。
• 证明将阻塞、动态优先级与超低度的超正则性结合，以限定约束。
• 当选择 d = b 且 c 为超低时，推论得到 Robinson 的分裂定理，得到 a_i > c 对于 i < 2。