Decidability and classification of the theory of integers with primes

Itay Kaplan, Saharon Shelah

We show that under Dickson's conjecture about the distribution of primes in the natural numbers, the theory Th(Z,+,1,0,Pr) where Pr is a predicate for the prime numbers and their n…