On expansions of (Z,+,0)

DOI10.1016/J.APAL.2020.102809MaRDI QIDQ2187266zbMATH OpenOpenAlexFDO

Authors Quentin Lambotte, Françoise Point

Publication date 2 June 2020

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

Full work available at URL https://arxiv.org/abs/1702.04795

zbMATH Keywords

decidabilityexpansions of \((\mathbf{Z},+)\)quantifier eliminationregular sequencessuperstability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45)

Abstract: Call a (strictly increasing) sequence $(r_n)$ of natural numbers emph{regular} if it satisfies the following condition: $r_{n+1}/r_{n}ohetainmathbb{R}^{>1}cupinfty$ and, if $heta$ is algebraic, then $(r_n)$ satisfies a linear recurrence relation whose characteristic polynomial is the minimal polynomial of $heta$. Our main result states that $(mathbbZ,+,0,R)$ is superstable whenever $R$ is enumerated by a regular sequence. We give two proofs of this result. One relies on a result of E. Casanovas and M. Ziegler and the other on a quantifier elimination result. We also show that $(mathbbZ,+,0,<,R)$ is NIP whenever $R$ is enumerated by a regular sequence that is ultimately periodic modulo $m$ for all $m>1$.

Recommendations

• Multiplicative structure in stable expansions of the group of integers
• On superstable expansions of free abelian groups
• Stable groups and expansions of $(\mathbb Z,+,0)$
• Weakly minimal groups with a new predicate
• Expansions of the group of integers by Beatty sequences

Cites work

• A Guide to NIP Theories
• Decidability and classification of the theory of integers with primes
• From Fibonacci sequence to the Golden ratio
• scientific article; zbMATH DE number 6378629 (Why is no real title available?)
• scientific article; zbMATH DE number 3648678 (Why is no real title available?)
• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 1554144 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• Limit of ratio of consecutive terms for general order-k linear homogeneous recurrences with constant coefficients
• Model Theory
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• On superstable expansions of free abelian groups
• Stability and sparsity in sets of natural numbers
• Stable theories with a new predicate
• Supergenerix.
• Vapnik-Chervonenkis density in some theories without the independence property. II

Cited in

(8)

• Expansions of the group of integers by Beatty sequences
• Automata and tame expansions of \((\mathbb{Z}, +)\)
• Stability and sparsity in sets of natural numbers
• Stable groups and expansions of $(\mathbb Z,+,0)$
• Weakly minimal groups with a new predicate
• A new dp-minimal expansion of the integers
• Enriching a predicate and tame expansions of the integers
• On dp-minimal expansions of the integers

This page was built for publication: On expansions of \((\mathbf{Z},+,0)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2187266)