Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
type: Item
instance of: scholarly article
title: 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
author: Mohsen Khani
author: Ali N. Valizadeh
author: Afshin Zarei
published in: Annals of Pure and Applied Logic
publication date: 2024-08-08T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 11U09
Mathematics Subject Classification ID: 11U05
zbMATH DE Number: 7894023
zbMATH Keywords: additive group of integers
zbMATH Keywords: Beatty sequence
zbMATH Keywords: Kronecker's lemma
zbMATH Keywords: decidability
zbMATH Keywords: model-completeness
MaRDI profile type: Publication
cites work: Q5525343
cites work: THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
cites work: Stable groups and expansions of $(\mathbb Z,+,0)$
cites work: Some Properties of Beatty Sequences II
cites work: The primes contain arbitrarily long arithmetic progressions
cites work: Expansions of the group of integers by Beatty sequences
cites work: EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
cites work: DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
cites work: Q3545513
description: scientific article; zbMATH DE number 7894023