Abstract
We discuss simple subtheories of Peano arithmetic over languages which include the monus function. The system $\mathrm{ZDL}$ corresponds with $\mathrm{PA}^-$. The choice of language permits our theories to have special universal axiomatizations; their classes of models have corresponding model theoretic properties.
Citation
Tomasz Połacik. Wim Ruitenburg. "Simple axioms that are obviously true in $\mathbb{N}$." Rev. Mod. Log. 9 (1-2) 67 - 79, November 2001 - November 2003.
Information