English

Multiplicative structure in stable expansions of the group of integers

Logic 2020-05-22 v3

Abstract

We define two families of expansions of (Z,+,0)(\mathbb{Z},+,0) by unary predicates, and prove that their theories are superstable of UU-rank ω\omega. The first family consists of expansions (Z,+,0,A)(\mathbb{Z},+,0,A), where AA is an infinite subset of a finitely generated multiplicative submonoid of N\mathbb{N}. Using this result, we also prove stability for the expansion of (Z,+,0)(\mathbb{Z},+,0) by all unary predicates of the form {qn:nN}\{q^n:n\in\mathbb{N}\} for some qN2q\in\mathbb{N}_{\geq 2}. The second family consists of sets ANA\subseteq\mathbb{N} which grow asymptotically close to a Q\mathbb{Q}-linearly independent increasing sequence (λn)n=0R+(\lambda_n)_{n=0}^\infty\subseteq\mathbb{R}^+ such that {λnλm:mn}\{\frac{\lambda_n}{\lambda_m}:m\leq n\} is closed and discrete.

Keywords

Cite

@article{arxiv.1704.00105,
  title  = {Multiplicative structure in stable expansions of the group of integers},
  author = {Gabriel Conant},
  journal= {arXiv preprint arXiv:1704.00105},
  year   = {2020}
}

Comments

20 pages; final version incorporating referee comments