Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence (Q6584962)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence |
scientific article; zbMATH DE number 7894023
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence |
scientific article; zbMATH DE number 7894023 |
Statements
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence (English)
0 references
8 August 2024
0 references
additive group of integers
0 references
Beatty sequence
0 references
Kronecker's lemma
0 references
decidability
0 references
model-completeness
0 references
0 references
