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 ...

The paper contains a simple, direct derivation of the generating functions for a class of permutations generalizing the up-down permutations. This monthly journal, begun in 1950, is devoted entirely ...

Arithmetic Properties of Partition Functions Publication Trend The graph below shows the total number of publications each year in Arithmetic Properties of Partition Functions.