加载中…
2010-03-10
Hierarchies of Subsystems of Weak Arithmetic
Shahram Mohsenipour
文献摘要
We completely characterize the logical hierarchy of various subsystems of weak arithmetic, namely: ZR, ZR + N, ZR + GCD, ZR + Bez, OI + N, OI + GCD, OI + Bez.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本