. T. Bjw-]-p, C. G. Bateman, A. R. Jockusch, and . Woods, Decidability and Undecidability of theories with a predicate for the prime, Journal of Symbolic Logic, vol.58, issue.7, pp.672-687, 1993.

M. Boffa, More on an undecidability result of Bateman, Jockusch and Woods, The Journal of Symbolic Logic, vol.58, issue.01, p.50, 1998.
DOI : 10.2307/2586585

P. Cegielski, D. Richard, and &. Vsemirnov, On the additive Theory of Prime Numbers I, Proceedings of CSIT, Computer Science and Information Technologies), pp.80-85, 2003.

. E. Dl-]-l and . Dickson, A new extension of Dirichlet's theorem on prime numbers, Messenger of Mathematics, vol.33, pp.155-161, 1903.

&. [. Lavendhomme and . Maes, Note on the undecidability of ?, +, P m,r , Definability in arithmetics and computability, pp.61-68, 2000.

Y. Matiyasevich, Hilbert's tenth Problem, Foundations of computing, p.262, 1993.

P. Ribenboim, The new book of Prime records, p.541, 1996.

. A. Ss, &. W. Schinzel, and . Sierpie´nskysierpie´nsky, Sur certaines hypothses concernant les nombres premiers, Acta Arithmetica, vol.4, pp.185-208, 1958.

[. Woods, Some problems in logic and number theory, and their connection, 1981.