|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||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Added to index2009-01-28
Total downloads14 ( #90,504 of 722,874 )
Recent downloads (6 months)0
How can I increase my downloads?