Quadratic forms in models of IΔ0 + Ω1, Part II: Local equivalence

被引：1
|
作者：
D'Aquino, Paola [1 ]
Macintyre, Angus [2 ]
机构：
[1] Univ Naples 2, Dept Math, I-81100 Caserta, Italy
[2] Univ London, Sch Math Sci, London E1 4NS, England
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2011年 / 162卷 / 06期
关键词：
Weak fragments of arithmetic; Completions; Quadratic forms; PELL EQUATIONS; EXISTENCE; FIELDS;
D O I：
10.1016/j.apal.2010.12.003
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
In this second paper of the series we do a local analysis of quadratic forms over completions of a non-standard model of I Delta(0) + Omega(1). (c) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码：447 / 456
页数：10
相关论文
共 50 条
12345