For any k-automatic non-eventually-periodic set X, the structure (N, +, X) either defines all k-automatic sets or has exactly the same definable sets as (N, +, k^N).
A new dp-minimal expansion of the integers.J
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Dichotomy for $k$-automatic expansions of Presburger Arithmetic
For any k-automatic non-eventually-periodic set X, the structure (N, +, X) either defines all k-automatic sets or has exactly the same definable sets as (N, +, k^N).