Simple axioms that are obviously true in N

MaRDI QIDQ487218zbMATH OpenFDO

Authors Tomasz Połacik, Wim Ruitenburg

Publication date 19 January 2015

Published in The Review of Modern Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.rml/1081173835

zbMATH Keywords

universal algebrasubsystems of Peano arithmetic

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Recommendations

• Model-theoretic properties characterizing Peano arithmetic
• Game with numbers and axioms: Peano-Dedekind systems
• On certain axiomatizations of arithmetic of natural and integer numbers
• scientific article; zbMATH DE number 3875242
• Some results on speed-up

Cited in

(2)

• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).
• An Effective Conservation Result for Nonstandard Arithmetic

This page was built for publication: Simple axioms that are obviously true in \(\mathbb{N}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487218)