On certain axiomatizations of arithmetic of natural and integer numbers

DOI10.3390/axioms8030103zbMath1432.03124OpenAlexW2971927321WikidataQ127300514 ScholiaQ127300514MaRDI QIDQ2306641

Urszula Wybraniec-Skardowska

Publication date: 24 March 2020

Published in: Axioms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3390/axioms8030103

zbMATH Keywords

independenceconsistencycategoricitymetalogicaxioms of integer arithmetic modeled on Peano and Wilkosz axiomsequivalent axiomatizationsWilkosz's axioms

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (1)

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Cites Work

• Unnamed Item
• Theories of real numbers and interpretability
• Philosophical and mathematical logic
• A logical system based on rules and its application in teaching mathematical logic
• Introduction to mathematical logic. Translated from the German by Diana Schmidt
• Completeness and categoricity: Frege, gödel and model theory
• Categoricity

This page was built for publication: On certain axiomatizations of arithmetic of natural and integer numbers