Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
scientific article; zbMATH DE number 7894023
scientific article