Real Algebraic and Analytic Geometry

Preprint Server

Previous   Next
15. Vincent Astier, Marcus Tressl:
Axiomatization of local-global principles for pp-formulas in spaces of orderings.

e-mail: ,

Submission: 2004, March 17.

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.

Mathematics Subject Classification (2000): 11E81, 03C65.

Keywords and Phrases: special groups, spaces of orderings, quadratic forms, model theory, positive primitive formulas.

Full text, 22p.: dvi 107k, ps.gz 156k, pdf 235k.

Server Home Page