Decidability and classification of the theory of integers with primes - Itay Kaplan; Saharon Shelah (2016)