@article{KpSh:1082, author = {Kaplan, Itay and Shelah, Saharon}, trueauthor = {Kaplan, Itay and Shelah, Saharon}, fromwhere = {IL,IL}, journal = {Journal of Symbolic Logic}, title = {{Decidability and classification of the theory of integers with primes}}, volume = {accepted}, }