On the (In)Dependence of the Peano Axioms for Natural Numbers

, , &
History and Philosophy of Logic 43 (1):51-69 (2021)
  Copy   BIBTEX

Abstract

We investigate two notions of independence— independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they...

Categories

Keywords

Reprint years

2022

DOI

10.1080/01445340.2021.1971005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).
Inconcistency of ℕ from a not-finitist point of view.Enrico Pier Giorgio Cadeddu - 2023 - International Journal of Modern Research in Engineering and Technology 8 (10):2.
Negation and partial axiomatizations of dependence and independence logic revisited.Fan Yang - 2019 - Annals of Pure and Applied Logic 170 (9):1128-1149.
Review: L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms; J. B. Paris, Some Independence Results for Peano Arithmetic. [REVIEW]Stephen G. Simpson - 1983 - Journal of Symbolic Logic 48 (2):482-483.
Frege's Logic, Theorem, and Foundations for Arithmetic.Edward N. Zalta - 2010 - Stanford Encyclopedia of Philosophy.
A Walk with Goodstein.David Fernández-Duque & Andreas Weiermann - 2024 - Bulletin of Symbolic Logic 30 (1):1-19.
Inconsistency of ℕ with the set union operation.Enrico Pier Giorgio Cadeddu - manuscript
Constructibility and Decidability versus Domain Independence and Absoluteness.Arnon Avron - unknown
Phase transitions for Gödel incompleteness.Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 157 (2-3):281-296.
Review: Shianghaw Wang, A System of Completely Independent Axioms for the Sequence of Natural Numbers. [REVIEW]J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (3):84-84.

Analytics

Added to PP
2021-10-08

Downloads
9 (#1,281,906)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.
Frege's theorem and the peano postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
A Very Independent Axiom System.Frank Harary & F. Harary - 1974 - Journal of Symbolic Logic 39 (3):604-604.

View all 6 references / Add more references