Proving quadratic reciprocity
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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Created: 9 June 2003 12 November 2003 Version 1.1 Www.Andrewboucher.Com/Papers/Quadratic_reciprocity.Pdf.Andrew Boucher - manuscript
A Natural First-Order System of Arithmetic Which Proves Its Own Consistency.Andrew Boucher - manuscript
Added to index2009-01-28
Total downloads21 ( #236,933 of 2,169,155 )
Recent downloads (6 months)1 ( #345,573 of 2,169,155 )
How can I increase my downloads?