|Abstract||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||No categories specified (fix it)|
|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.
Enrico Moriconi (2003). On the Meaning of Hilbert's Consistency Problem (Paris, 1900). Synthese 137 (1-2):129 - 139.
Saharon Shelah (1989). The Number of Pairwise Non-Elementary-Embeddable Models. Journal of Symbolic Logic 54 (4):1431-1455.
Moti Mizrahi (forthcoming). On Proving Too Much. Acta Analytica.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Recent downloads (6 months)0
How can I increase my downloads?