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
Conference/Journal Name
ANNALS OF PURE AND APPLIED LOGIC
doi
10.1016/j.apal.2024.103493
Article type
Journal
×
https://people.iut.ac.ir/en/khani/content/1705094?view=qrcode
QR Code