#PRA

共 1 条 · 7 天 0 条 · 30 天 0 条

Lévy-Montague反射 1 RCA₀ 1 WKL₀ 1 二阶算术 1

信息流里打上「PRA」标签的资讯、产品与论文，按刊登时间排，新的在上。

8月10日

Lévy-Montague反射在WKL₀上为Π¹₁-保守

把Lévy-Montague反射做到WKL₀上的论文，给了保守性证明，还用了Fable 5辅助推证。

#Lévy-Montague反射 #WKL₀ #RCA₀ #PRA

arXiv: Anthropic@Fedor Pakhomov原文