Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence

DOI10.1016/j.apal.2024.103493MaRDI QIDQ6584962

Ali N. Valizadeh, Mohsen Khani, Afshin Zarei

Publication date: 8 August 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

decidabilitymodel-completenessBeatty sequenceKronecker's lemmaadditive group of integers

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Model theory (number-theoretic aspects) (11U09) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence