Simple axioms that are obviously true in \(\mathbb{N}\)

zbMATH Open1303.03090MaRDI QIDQ487218

Wim Ruitenburg, Tomasz Połacik

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

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

Related Items (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)