Arithmetic without the successor axiom

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

Author's Profile

Analytics

Added to PP
2009-01-28

Downloads
638 (#22,185)

6 months
49 (#73,097)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?