|Abstract||The system of arithmetic considered in Consistency, which is essentially second-order Peano Arithmetic without the Successor Axiom, is used to prove more theorems of arithmetic, up to Quadratic Reciprocity.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Andrew Boucher, Created: 9 June 2003 12 November 2003 Version 1.1 Www.Andrewboucher.Com/Papers/Quadratic_reciprocity.Pdf.
Added to index2009-01-28
Total downloads12 ( #101,164 of 722,867 )
Recent downloads (6 months)1 ( #60,917 of 722,867 )
How can I increase my downloads?