Papers10:35
Chinese contentLévy-Montague反射在WKL₀上为Π¹₁-保守把Lévy-Montague反射做到WKL₀上的论文，给了保守性证明，还用了Fable 5辅助推证。
#二阶算术
1 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "二阶算术", newest first.
Aug 10
把Lévy-Montague反射做到WKL₀上的论文，给了保守性证明，还用了Fable 5辅助推证。