English

On expansions of $(\mathbf{Z},+,0)$

Logic 2020-03-25 v4

Abstract

Call a (strictly increasing) sequence (rn)(r_{n}) of natural numbers \emph{regular} if it satisfies the following condition: rn+1/rnθR>1{}r_{n+1}/r_{n}\to\theta\in\mathbb{R}^{>1}\cup\{\infty\} and, if θ\theta is algebraic, then (rn)(r_{n}) satisfies a linear recurrence relation whose characteristic polynomial is the minimal polynomial of θ\theta. Our main result states that (Z,+,0,R)(\mathbb{Z},+,0,R) is superstable whenever RR is enumerated by a regular sequence. We give two proofs of this result. One relies on a result of E. Casanovas and M. Ziegler and the other on a quantifier elimination result. We also show that (Z,+,0,<,R)(\mathbb{Z},+,0,<,R) is NIP whenever RR is enumerated by a regular sequence that is ultimately periodic modulo mm for all m>1m>1.

Keywords

Cite

@article{arxiv.1702.04795,
  title  = {On expansions of $(\mathbf{Z},+,0)$},
  author = {Quentin Lambotte and Françoise Point},
  journal= {arXiv preprint arXiv:1702.04795},
  year   = {2020}
}

Comments

33 pages; Final version. To appear in Ann. of Pure and Appl. Log