Axiomatization of local-global principles for pp-formulas in spaces of orderings

被引：8
|
作者：
Astier, V [1 ]
Tressl, M [1 ]
机构：
[1] Univ Regensburg, NWF Math 1, D-93040 Regensburg, Germany
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 2005年 / 44卷 / 01期
关键词：
Spaces of orderings; Model theory; Special groups; Positive-primitive formulas; Local-global principles; Quadratic forms; Isotropy theorem;
D O I：
10.1007/s00153-004-0236-0
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We use a model theoretic approach to investigate properties of local-global principles for positive primitive formulas in spaces of orderings, such as the existence of bounds and the axiomatizability of local-global principles. As a consequence we obtain various classes of special groups satisfying local-global principles for all positive primitive formulas, and we show that local-global principles are preserved by some natural constructions in special groups.
引用
收藏
页码：77 / 95
页数：19
相关论文
共 42 条
12345