Undefinability of multiplication in Presburger arithmetic with sets of powers

Christian Schulz

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 struc…