Decidability bounds for Presburger arithmetic extended by sine

Eion Blanchard, Philipp Hieronymi

We consider Presburger arithmetic extended by the sine function, call this extension sine-Presburger arithmetic ($\sin$-PA), and systematically study decision problems for sets of…