Special groups [M. Dickmann, F. Miraglia, Special Groups : Boolean-Theoretic Methods in the Theory of Quadratic Forms, Memoirs Amer. Math. Soc., vol. 689, Amer. Math. Soc., Providence, RI, 2000] are a first-order axiomatization of the theory of quadratic forms. In Section 2 we investigate reduced special groups which are a lattice under their natural representation partial order ; we show that this lattice property is preserved under most of the standard constructions on RSGs; in particular finite RSGs and RSGs of (...) finite chain length are lattice ordered. We prove that the lattice property fails for the RSGs of function fields of real algebraic varieties over a uniquely ordered field dense in its real closure, unless their stability index is 1 . We show that Open Problem 1 has a positive answer for the RSG of the field Q . In the final section we explore the meaning of Open Problem 1 for formally real fields, in terms of their orders and real valuations; we introduce the notion of “parameter-rank” of a positive-primitive first-order formula of the language for special groups. (shrink)

Abstract.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.