Quadratic forms in models of I Δ 0 + Ω 1. I

&
Annals of Pure and Applied Logic 148 (1):31-48 (2007)
  Copy   BIBTEX

Abstract

Gauss used quadratic forms in his second proof of quadratic reciprocity. In this paper we begin to develop a theory of binary quadratic forms over weak fragments of Peano Arithmetic, with a view to reproducing Gauss’ proof in this setting

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2007.05.004

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,010

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quadratic forms in models of IΔ0+ Ω1, Part II: Local equivalence.Paola D’Aquino & Angus Macintyre - 2011 - Annals of Pure and Applied Logic 162 (6):447-456.
Proving quadratic reciprocity.Andrew Boucher - manuscript
Erratum to: “Some model-theoretic results in the algebraic theory of quadratic forms” [Ann. Pure Appl. Logic 112 (2–3) (2001) 189–223]. [REVIEW]Vincent Astier - 2009 - Annals of Pure and Applied Logic 160 (1):127-128.
Arithmetic without the successor axiom.Andrew Boucher -
Some model-theoretic results in the algebraic theory of quadratic forms.Vincent Astier - 2001 - Annals of Pure and Applied Logic 112 (2-3):189-223.
On Grzegorczyk induction.Ch Cornaros - 1995 - Annals of Pure and Applied Logic 74 (1):1-21.
Abelian groups and quadratic residues in weak arithmetic.Emil Jeřábek - 2010 - Mathematical Logic Quarterly 56 (3):262-278.
Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth.William D’Alessandro - 2020 - Synthese (9):1-44.
Gauss' quadratic reciprocity theorem and mathematical fruitfulness.Audrey Yap - 2011 - Studies in History and Philosophy of Science Part A 42 (3):410-415.
A method for computing quadratic Brunovsky forms.Jin Wen-Long - unknown

Analytics

Added to PP
2013-12-30

Downloads
70 (#326,762)

6 months
13 (#258,737)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abelian groups and quadratic residues in weak arithmetic.Emil Jeřábek - 2010 - Mathematical Logic Quarterly 56 (3):262-278.
Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.

Add more citations

References found in this work

On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
Pell equations and exponentiation in fragments of arithmetic.Paola D'Aquino - 1996 - Annals of Pure and Applied Logic 77 (1):1-34.

Add more references