Title of article :
Quadratic forms in models of , Part II: Local equivalence
Author/Authors :
D’Aquino، نويسنده , , Paola and Macintyre، نويسنده , , Angus، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2011
Abstract :
In this second paper of the series we do a local analysis of quadratic forms over completions of a non-standard model of I Δ 0 + Ω 1 .
Keywords :
Weak fragments of arithmetic , Completions , Quadratic forms
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
