The additive structure of models of arithmetic
Leonard Lipshitz, Mark E. Nadel · Proceedings of the American Mathematical Society · 1978
It is shown that for a model of Presburger arithmetic to have an expansion to a model of Peano arithmetic it is necessary that the model be recursively saturated. For countable models this condition is also sufficient; for uncountable models it is not.