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

V. Astier, M. Tressl

    Research output: Contribution to journalArticlepeer-review

    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.
    Original languageEnglish
    Pages (from-to)77-95
    Number of pages19
    JournalArchive for Mathematical Logic
    Volume44
    Issue number1
    DOIs
    Publication statusPublished - 24 May 2004

    Keywords

    • Isotropy theorem
    • Local-global principles
    • Model theory
    • Positive-primitive formulas
    • Quadratic forms
    • Spaces of orderings
    • Special groups

    Fingerprint

    Dive into the research topics of 'Axiomatization of local-global principles for pp-formulas in spaces of orderings'. Together they form a unique fingerprint.

    Cite this