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