10:35
官方一手arXiv: Anthropic@Fedor Pakhomov
推荐理由：把Lévy-Montague反射做到WKL₀上的论文，给了保守性证明，还用了Fable 5辅助推证。
PRA
共 1 条相关 AI 资讯
8月10日
10:35
论文研究二阶算术中的Lévy-Montague反射方案Rfn：每个公式φ都断言任意集合属于某个可数编码的ω-模型，且φ在该模型与宇宙间绝对。核心结果是模型扩张构造：每个RCA₀的可数模型都可在不改变一阶部分的情况下扩张为WKL₀加上完整Rfn的模型。由此推出WKL₀+Rfn对WKL₀和RCA₀都是Π¹₁-保守的，其一阶部分恰为IΣ₁，且对PRA是Π⁰₂-保守的。证明本身非有限性：扩张是ω₁-层强迫扩张的并，其不可数共尾性保证了反射；作者仅在PRA+1-Con(Z₂)中证明了该保守性。