Game with numbers and axioms: Peano-Dedekind systems

zbMATH Open1367.03107MaRDI QIDQ4976996FDOQ4976996

Ana-Loredana Agore, Gigel Militaru

Publication date: 3 August 2017

Recommendations

• On certain axiomatizations of arithmetic of natural and integer numbers
• scientific article
• 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 (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Reachability is decidable in the numbers game

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)