f1991b870c535bc4.tex
1: \begin{abstract}
2:   Call a (strictly increasing) sequence $R=(r_{n})$ of natural numbers
3:   \emph{regular} if it satisfies the following condition: $r_{n+1}/r_{n}\to
4:   \theta\in\IR^{>1}\cup\{\infty\}$ and, if $\theta$ is algebraic, then $R$
5:   satisfies a recurrence relation whose characteristic polynomial is the minimal
6:   polynomial of $\theta$. Our main result states that $\str{Z}_{R}=(\IZ,+,0,R)$
7:   is superstable whenever $R$ is a regular sequence. We provide
8:   two proofs of this result. One relies on a result of E. Casanovas and
9:   M. Ziegler
10:   and the other on a quantifier elimination result. Both proofs share an
11:   important ingredient: for a regular sequence, the set of solutions of
12:   homogeneous equations is either finite or controlled by (finitely many)
13:   recurrence  relations. This property resembles the Mann property defined by
14:   L. van den Dries and A. G\"unayd{\i}n in their work on expansions of fields by
15:   subgroups. Inspired by
16:   their work and the proofs of our main result, we show that when $M$ is the
17:   domain of a multiplicative monoid of integers with the Mann property, then
18:   $\str{Z}_{M}$ is also superstable.
19: \end{abstract}
20: