A Dichotomy for $k$-automatic expansions of Presburger Arithmetic

Jason Bell, Alexi Block Gorman, Chris Schulz

Let $k\ge 2$ and let $X$ be a subset of the natural numbers that is $k$-automatic and not eventually periodic. We show that the following dichotomy holds: either all $k$-automatic…