Expansions of the group of integers by Beatty sequences. - Ayhan Günaydin; Melissa Özsahakyan (Ann. Pure Appl. Log., 2022)