Title of article
Quadratic forms in models of . I
Author/Authors
D’Aquino، نويسنده , , Paola and Macintyre، نويسنده , , Angus، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
18
From page
31
To page
48
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.
Keywords
Weak fragments of arithmetic , Quadratic forms
Journal title
Annals of Pure and Applied Logic
Serial Year
2007
Journal title
Annals of Pure and Applied Logic
Record number
1443884
Link To Document