Arithmetic without the successor axiom

Download Edit this record How to cite View on PhilPapers
Abstract
Second-order Peano Arithmetic minus the Successor Axiom is developed from first principles through Quadratic Reciprocity and a proof of self-consistency. This paper combines 4 other papers of the author in a self-contained exposition
Keywords
No keywords specified (fix it)
Categories
PhilPapers/Archive ID
BOUAWT
Upload history
Archival date: 2021-09-30
View other versions
Added to PP index
2009-01-28

Total views
535 ( #11,800 of 64,256 )

Recent downloads (6 months)
7 ( #54,486 of 64,256 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.