Astier, V. and Tressl, M. (2005) Axiomatization of local-global principles for pp-formulas in spaces of orderings. ARCHIVE FOR MATHEMATICAL LOGIC, 44 (1). pp. 77-95. ISSN 1432-0665,
Full text not available from this repository. (Request a copy)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.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | ; Spaces of orderings; Model theory; Special groups; Positive-primitive formulas; Local-global principles; Quadratic forms; Isotropy theorem |
| Subjects: | 500 Science > 510 Mathematics |
| Divisions: | Mathematics |
| Depositing User: | Dr. Gernot Deinzer |
| Date Deposited: | 01 Jun 2021 05:48 |
| Last Modified: | 01 Jun 2021 05:48 |
| URI: | https://pred.uni-regensburg.de/id/eprint/36619 |
Actions (login required)
 |
View Item |
