Vincent Astier Marcus Tressl Axiomatization of local-global principles for pp-formulas in spaces of orderings. 77-95 2005 44 Arch. Math. Log. 1 http://dx.doi.org/10.1007/s00153-004-0236-0 db/journals/aml/aml44.html#AstierT05