Decidability is shown for single-variable Presburger expansions with fixed powers via hyperelliptic Diophantine solvability and with degree-at-most-three polynomials via low-genus curves, with hardness results when restrictions are removed.
On Logics with Two Variables
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
Decidability is shown for single-variable Presburger expansions with fixed powers via hyperelliptic Diophantine solvability and with degree-at-most-three polynomials via low-genus curves, with hardness results when restrictions are removed.