Game with numbers and axioms: Peano-Dedekind systems

zbMATH Open1367.03107MaRDI QIDQ4976996FDOQ4976996

Authors: Gigel Militaru, Ana-Loredana Agore 

Publication date: 3 August 2017

Recommendations

• On certain axiomatizations of arithmetic of natural and integer numbers
• scientific article; zbMATH DE number 4097362
• Publication:4726219
• Reverse mathematics and Peano categoricity
• From Dedekind to Zermelo versus Peano to Gödel

zbMATH Keywords

natural numbersPeano axiomHilbert recursion theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (8)

• On the most suitable axiomatization of signed integers
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a Peano-type axiomatization for free monoids
• Simple axioms that are obviously true in \(\mathbb{N}\)
• On the (In)Dependence of the Peano Axioms for Natural Numbers
• Reachability is decidable in the numbers game
• On certain axiomatizations of arithmetic of natural and integer numbers

This page was built for publication: Game with numbers and axioms: Peano-Dedekind systems

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