TY  - RPRT
TI  - Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
AU  - Mohsen Khani
AU  - Ali N. Valizadeh
AU  - Afshin Zarei
PY  - 2024
DO  - 10.1016/j.apal.2024.103493
UR  - https://arxiv.org/abs/2110.01673
ID  - 2110.01673
ER  -