On expansions of \((\mathbf{Z},+,0)\)

DOI10.1016/j.apal.2020.102809zbMath1481.03014arXiv1702.04795MaRDI QIDQ2187266

Françoise Point, Quentin Lambotte

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

quantifier elimination; decidability; superstability; regular sequences; expansions of \((\mathbf{Z},+)\)

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03C45: Classification theory, stability, and related concepts in model theory

03C10: Quantifier elimination, model completeness, and related topics

03C35: Categoricity and completeness of theories

Related Items

Weakly minimal groups with a new predicate, A NEW DP-MINIMAL EXPANSION OF THE INTEGERS, Expansions of the group of integers by Beatty sequences, Automata and tame expansions of \((\mathbb{Z}, +)\), Stability and sparsity in sets of natural numbers

Cites Work

• From Fibonacci sequence to the Golden ratio
• Vapnik-Chervonenkis density in some theories without the independence property. II
• Supergenerix.
• Limit of ratio of consecutive terms for general order-\(k\) linear homogeneous recurrences with constant coefficients
• On superstable expansions of free abelian groups
• Stability and sparsity in sets of natural numbers
• Stable theories with a new predicate
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• Model Theory
• A Guide to NIP Theories
• DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item