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: 91,386

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).
Frege's Logic, Theorem, and Foundations for Arithmetic.Edward N. Zalta - 2010 - Stanford Encyclopedia of Philosophy.
Learning natural numbers is conceptually different than learning counting numbers.Dwight Read - 2008 - Behavioral and Brain Sciences 31 (6):667-668.
The Counting Process and Category Theory: The Psychogenesis of the Natural Numbers.Ali B. Karatay - 1998 - Dissertation, Syracuse University
Why Axiomatize Arithmetic?Charles Sayward - 2005 - Sorites 16:54-61.
Learning the Natural Numbers as a Child.Stefan Buijsman - 2017 - Noûs 53 (1):3-22.
Logic and nothing else.Jaroslav Peregrin - unknown
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
The epistemic significance of numerals.Jan Heylen - 2014 - Synthese 198 (Suppl 5):1019-1045.
Natural logicism via the logic of orderly pairing.Neil Tennant - manuscript
Reverse mathematics and Peano categoricity.Stephen G. Simpson & Keita Yokoyama - 2013 - Annals of Pure and Applied Logic 164 (3):284-293.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Sub-Theory of Peano Arithmetic.Andrew Boucher - unknown
Remarks on Peano Arithmetic.Charles Sayward - 2000 - Russell: The Journal of Bertrand Russell Studies 20 (1):27-32.
Bad company objection to Joongol Kim’s adverbial theory of numbers.Namjoong Kim - 2019 - Synthese 196 (8):3389-3407.

Analytics

Added to PP
2021-10-08

Downloads
9 (#1,228,347)

6 months
5 (#638,139)

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