  We present a description of rigid models of Presburger arithmetic (i.e.,
Z-groups). In particular, we show that Presburger arithmetic has rigid models
of all infinite cardinalities up to the continuum, but no larger.
