DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
From MaRDI portal
Publication:5359574
DOI10.1017/jsl.2017.16zbMath1422.03071arXiv1601.07099OpenAlexW2963542726MaRDI QIDQ5359574
Publication date: 26 September 2017
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1601.07099
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Classification theory, stability, and related concepts in model theory (03C45) Primes (11A41)
Related Items (6)
Stability and sparsity in sets of natural numbers ⋮ On expansions of \((\mathbf{Z},+,0)\) ⋮ The additive structure of integers with the lower Wythoff sequence ⋮ THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC ⋮ A NEW DP-MINIMAL EXPANSION OF THE INTEGERS ⋮ THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Supergenerix.
- Dp-minimality: basic facts and examples
- Classification theory and the number of non-isomorphic models.
- Generic structures and simple theories
- On superstable expansions of free abelian groups
- The primes contain arbitrarily long arithmetic progressions
- Every odd number greater than $1$ is the sum of at most five primes
- On dp-minimal ordered structures
- Decidability and undecidability of theories with a predicate for the primes
- On dp-minimality, strong dependence and weight
- Model Theory
- A Guide to NIP Theories
- A list of arithmetical structures complete with respect to the first-order definability
This page was built for publication: DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
