定理 #62

【ω-model Lévy reflection による RCA₀ の強い保存拡大】 Pakhomov による結果: WKL₀ に「任意の論理式 φ と集合 X に対し φ が M と universe の間で absolute となる coded ω-model M が存在する」という ω-model 版 Lévy reflection scheme を加えた理論が、RCA₀ の conservative extension（したがって PRA の Π⁰₂-conservative extension）になる。finitistically reducible でありながら驚くほど強い理論の発見。 — comm. AI for Math の過去会話より — 初出: 2026-06-23 #Fedor's talk 発言者: Alwe, IR. 分類: math-research 新規性メモ: 既知 — seedが述べる結果そのもの（omega-model版Lévy-Montague reflectionをWKL0に加えた理論がRCA0のΠ11-conservative extensionでPRAのΠ02-conservative extensionになる）がPakhomovのarXiv:2608.07050として公開済み。seedはこの文献の紹介であり新規の問いではない。