On expansions of $(\mathbf{Z},+,0)$
Logic
2020-03-25 v4
Abstract
Call a (strictly increasing) sequence of natural numbers \emph{regular} if it satisfies the following condition: and, if is algebraic, then satisfies a linear recurrence relation whose characteristic polynomial is the minimal polynomial of . Our main result states that is superstable whenever 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 is NIP whenever is enumerated by a regular sequence that is ultimately periodic modulo for all .
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