Expansions of Presburger arithmetic with the exchange property. Issue 4 (14th October 2021) - Mariaule, Nathanaël
Abstract: Let G be a model of Presburger arithmetic. Let L be an expansion of the language of Presburger L Pres . In this paper, we prove that the L ‐theory of G is L Pres ‐minimal iff it has the exchange property and is definably complete (i.e., any bounded definable set has a maximum). If the L ‐theory of G has the exchange property but is not definably complete, there is a proper definable convex subgroup H . Assuming that the induced theories on H and G / H are definable complete and o ‐minimal respectively, we prove that any definable set of G is L Pres ∪ { H } ‐definable.