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

Preprint Number 2268

Previous Next Preprint server

2268. Christian Schulz
Undefinability of multiplication in Presburger arithmetic with sets of powers

Submission date: 23 September


We begin by proving that any Presburger-definable image of one or more sets of powers has zero natural density. Then, by adapting the proof of a dichotomy result on o-minimal structures by Friedman and Miller, we produce a similar dichotomy for expansions of Presburger arithmetic on the integers. Combining these two results, we obtain that the expansion of the ordered group of integers by any number of sets of powers does not define multiplication.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2209.11858: pdf, ps.

Last updated: October 14 2022 22:13 Please send your corrections to: