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.
Similar content being viewed by others
References
Andradas, C., Bröcker, L., Ruiz J.: Constructible sets in real geometry. Springer-Verlag, Berlin Heidelberg, 1996
Dickmann, M.A., Miraglia, F.: Special Groups. Boolean-Theoretic Methods in the Theory of Quadratic Forms. Memoirs of the AMS 689, 2000
Hodges, W.: Model theory. Encyclopedia of mathematics and its applications 42, Cambridge University Press, 1993
Kula, M., Marshall, M., Sładek, A.: Direct limits of finite spaces of orderings. Pacific J. Math. 112 (2), 391–406 (1984)
Marshall, M.: Spaces of orderings IV. Canadian J. Math. 32, 603–627 (1980)
Marshall, M.: Spaces of Orderings and Abstract Real Spectra. Springer-Verlag, Berlin Heidelberg, 1996
Marshall, M.: Open questions in the theory of spaces of orderings. J. Symbolic Logic 67 (1), 341–352 (2002)
Marshall, M.: Local-global properties of positive primitive formulas in the theory of spaces of orderings. Preprint, 2002
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): 11E81, 03C65
Acknowledgement This research was undertaken while both authors were partially suported by the European RTN Network (HPRN-CT-2001-00271) on real algebraic and analytic geometry.
Rights and permissions
About this article
Cite this article
Astier, V., Tressl, M. Axiomatization of local-global principles for pp-formulas in spaces of orderings. Arch. Math. Logic 44, 77–95 (2005). https://doi.org/10.1007/s00153-004-0236-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0236-0