Expansions of the Group of Integers by Beatty Sequences

Ayhan Günaydın, Melissa Özsahakyan

We study the model theoretic structure $(\mathbb{Z},+,P_r)$ where $r>1$ is an irrational number and the elements of $P_r$ are of the form $\floor{nr}$ for some $n\in \mathbb{Z}\setminus \{0\}$. We a…