Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
-

Article type
Journal