Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1439

Preprint Number 1439

Previous Next Preprint server

1439. Nathanaël Mariaule
Expansion of Presburger arithmetic with the exchange property

Submission date: 1 June 2018


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 any bounded definable set has a maximum.

Mathematics Subject Classification: 03C64

Keywords and phrases:

Full text arXiv 1806.00315: pdf, ps.

Last updated: June 12 2018 15:36 Please send your corrections to: