Multiplicative structure in stable expansions of the group of integers
Preprint
Abstract
We define two families of expansions of $(\mathbb{Z},+,0)$ by unary predicates, and prove that their theories are superstable of $U$-rank $\omega$. The first family consists of expansions $(\mathbb{Z},+,0,A)$, where $A$ is an infinite subset of a finitely generated multiplicative submonoid of $\mathbb{N}$. Using this result, we also prove stability for the expansion of $(\mathbb{Z},+,0)$ by all unary predicates of the form $\{q^n:n\in\mathbb{N}\}$ for some $q\in\mathbb{N}_{\geq 2}$. The second family consists of sets $A\subseteq\mathbb{N}$ which grow asymptotically close to a $\mathbb{Q}$-linearly independent increasing sequence $(\lambda_n)_{n=0}^\infty\subseteq\mathbb{R}^+$ such that $\{\frac{\lambda_n}{\lambda_m}:m\leq n\}$ is closed and discrete.
Keywords
All Related Versions
This publication has 16 references indexed in Scilit:
- On expansions of (Z,+,0)Annals of Pure and Applied Logic, 2020
- Stability and sparsity in sets of natural numbersIsrael Journal of Mathematics, 2019
- On Superstable Expansions of Free Abelian GroupsNotre Dame Journal of Formal Logic, 2018
- The model theory of the field of reals with a subgroup of the unit circleJournal of the London Mathematical Society, 2008
- On Sums of UnitsMonatshefte für Mathematik, 2007
- THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUPProceedings of the London Mathematical Society, 2006
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential functionJournal of the American Mathematical Society, 1996
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theoremsAnnals of Pure and Applied Logic, 1996
- ON CERTAIN EXTENSIONS OF THE ARITHMETIC OF ADDITION OF NATURAL NUMBERSMathematics of the USSR-Izvestiya, 1980
- Disjointness in ergodic theory, minimal sets, and a problem in diophantine approximationTheory of Computing Systems, 1967