Arithmetic without the successor axiom


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



External links

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

Through your library

  • Only published works are available at libraries.


Added to PP

271 (#10,342)

6 months
150 (#125,141)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Logic, Logic, and Logic.George Boolos - 1998 - Cambridge, Mass: Harvard University Press. Edited by Richard C. Jeffrey.
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.
Understanding the infinite.Shaughan Lavine - 1994 - Cambridge: Harvard University Press.
Frege's theory of numbers.Charles Parsons - 1964 - In Max Black (ed.), Philosophy in America. Ithaca: Routledge. pp. 180-203.
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.

View all 14 references / Add more references