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
-

doi
10.1016/j.apal.2024.103493
Article type
Journal
https://people.iut.ac.ir/en/khani/content/1599443