Hierarchies of Subsystems of Weak Arithmetic
Logic
2010-03-18 v2
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.
Keywords
Cite
@article{arxiv.1003.2117,
title = {Hierarchies of Subsystems of Weak Arithmetic},
author = {Shahram Mohsenipour},
journal= {arXiv preprint arXiv:1003.2117},
year = {2010}
}
Comments
To appear in Set theory, Arithmetic, Philosophy: Essays in Memory of Stanley Tennenbaum (edited by J. Kennedy and R. Kossak), Cambridge University Press.