Title of article
Quadratic forms in models of , Part II: Local equivalence
Author/Authors
D’Aquino، نويسنده , , Paola and Macintyre، نويسنده , , Angus، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2011
Pages
10
From page
447
To page
456
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
Serial Year
2011
Journal title
Annals of Pure and Applied Logic
Record number
1444547
Link To Document