TY  - RPRT
TI  - Decidability and classification of the theory of integers with primes
AU  - Itay Kaplan
AU  - Saharon Shelah
PY  - 2016
UR  - https://arxiv.org/abs/1601.07099
ID  - 1601.07099
ER  -