On the decidability of Presburger arithmetic expanded with powers
<p>We prove that for any integers α, β > 1, the existential fragment of the first-order theory of the structure ⟨Z; 0, 1, <, +, αN, βN⟩ is decidable (where α N is the set of positive integer powers of α, and likewise for &...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Society for Industrial and Applied Mathematics
2024
|