A A.... G
These notes are meant to continue from the paper on Consistency, in proving number-theoretic theorems from the second-order arithmetical system called FFFF. Its ultimate target is Quadratic Reciprocity, although it introduces and proves some facts about the least common multiple at the start.
|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
On the Meaning of Hilbert's Consistency Problem (Paris, 1900).Enrico Moriconi - 2003 - Synthese 137 (1-2):129 - 139.
The Number of Pairwise Non-Elementary-Embeddable Models.Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (4):1431-1455.
Added to index2010-12-22
Total downloads437 ( #4,967 of 2,163,616 )
Recent downloads (6 months)30 ( #10,832 of 2,163,616 )
How can I increase my downloads?