Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose ...

K. N. Boyadzhiev, Apostol-Bernoulli functions, derivative polynomials, and Eulerian polynomials, Advances and Applications in Discrete Mathematics 1 (2008) 109–122 ...