Graduate studies at Western
|Abstract||The Successor Axiom asserts that every number has a successor, or in other words, that the number series goes on and on ad infinitum. The present work investigates a particular subsystem of Frege Arithmetic, called F, which turns out to be equivalent to second-order Peano Arithmetic minus the Successor Axiom, and shows how this system can develop arithmetic up through Gauss' Quadratic Reciprocity Law. It then goes on to represent questions of provability in F, and shows that F can prove its own consistency and indeed the consistency of stronger systems. So, arithmetic without the Successor Axiom has an exceptional combination of three chracteristics: it is natural, it is strong, and it proves its own, as well as stronger systems’, consistency.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Added to index2009-01-28
Total downloads10 ( #114,557 of 740,500 )
Recent downloads (6 months)0
How can I increase my downloads?