Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

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

Summary: Axiomatization of local-global principles for
pp-formulas in spaces of orderings
V. Astier, M. Tressl
Two important results in quadratic form theory, Pfister's local-global
principle and the isotropy theorem (see [5]), can be stated more generally
for spaces of orderings (an abstract version of real spectras of formally real
fields), for which they are expressed as local-global principles:
A property of quadratic forms (expressed as a so-called positive-primitive
formula) holds if and only if it holds locally (at every single ordering for Pfis-
ter's local-global principle, at every finite subspace for the isotropy theorem).
In his paper [7], Marshall introduces a much broader local-global principle
that could be satisfied by spaces of orderings, and showed how several im-
portant questions about quadratic forms and real algebraic geometry would
follow from it. He asks, for a space of orderings (X, G) (the unexplained
terminology will be introduced later):
"Is it true that any positive-primitive formula (Żg) with
parameters Żg in G which holds in every finite subspace
of (X, G) necessarily holds in (X, G)?"
No counter-examples are known. In this paper we work in the theory of


Source: Astier, Vincent - Department of Mathematics, University College Dublin


Collections: Mathematics