Hierarchies of Subsystems of Weak Arithmetic
classification
🧮 math.LO
keywords
arithmeticsubsystemsweakcharacterizecompletelyhierarchieshierarchylogical
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.