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 results of this paper deal directly with the behavior of compositions of random probability generating functions. These results are then applied to the theory of branching processes with random ...