Open Access
Translator Disclaimer
November 2001 - November 2003 Simple axioms that are obviously true in $\mathbb{N}$
Tomasz Połacik, Wim Ruitenburg
Rev. Mod. Log. 9(1-2): 67-79 (November 2001 - November 2003).

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

Download 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

Published: November 2001 - November 2003
First available in Project Euclid: 5 April 2004

zbMATH: 1303.03090
MathSciNet: MR2040857

Subjects:
Primary: 03F30
Secondary: 03C05 , 03C62 , 06D99 , 11U09

Keywords: Subsystems of Peano arithmetic , Universal algebra

Rights: Copyright © 2003 The Review of Modern Logic

JOURNAL ARTICLE
13 PAGES


SHARE
Vol.9 • No. 1-2 • November 2001 - November 2003
Back to Top