Decidability and classification of the theory of integers with primes. Kaplan, I. & Shelah, S. Journal of Symbolic Logic.
bibtex   
@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},
}

Downloads: 0