THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
From MaRDI portal
Publication:4638984
DOI10.1017/jsl.2017.62zbMath1447.03006arXiv1603.00454OpenAlexW2964321310MaRDI QIDQ4638984
Publication date: 2 May 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.00454
Models of arithmetic and set theory (03C62) Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64) Basic properties of first-order languages and structures (03C07)
Related Items
Lattice of definability (of reducts) for integers with successor, A family of dp-minimal expansions of \((\mathbb{Z}; +)\), Unnamed Item, The additive structure of integers with the lower Wythoff sequence, Definable sets up to definable bijections in Presburger groups, Interpolative fusions, A NEW DP-MINIMAL EXPANSION OF THE INTEGERS, Expansions of the group of integers by Beatty sequences, THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Vapnik-Chervonenkis density in some theories without the independence property. II
- Supergenerix.
- Dp-minimality: basic facts and examples
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
- Vapnik-Chervonenkis density in some theories without the independence property, I
- Strong theories of ordered Abelian groups
- Presburger sets and p-minimal fields
- Quasi-o-minimal structures
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
- Stable groups and expansions of $(\mathbb Z,+,0)$
- Coverings by convex bodies and inscribed balls
- Semialgebraic Expansions of C
- Model Theory
- A Guide to NIP Theories
- DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
- A Solution of the "Plank Problem"