Simple axioms that are obviously true in N

zbMATH Open1303.03090MaRDI QIDQ487218FDOQ487218

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

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

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)

Cited In (2)

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

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)