Sciweavers

AML
2005
65views more  AML 2005»
13 years 4 months ago
Axiomatization of local-global principles for pp-formulas in spaces of orderings
es 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...
Vincent Astier, Marcus Tressl