Decidability and Undecidability of theories with a predicate for the prime, Journal of Symbolic Logic, vol.58, issue.7, pp.672-687, 1993. ,
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
On the additive Theory of Prime Numbers I, Proceedings of CSIT, Computer Science and Information Technologies), pp.80-85, 2003. ,
A new extension of Dirichlet's theorem on prime numbers, Messenger of Mathematics, vol.33, pp.155-161, 1903. ,
Note on the undecidability of ?, +, P m,r , Definability in arithmetics and computability, pp.61-68, 2000. ,
Hilbert's tenth Problem, Foundations of computing, p.262, 1993. ,
The new book of Prime records, p.541, 1996. ,
Sur certaines hypothses concernant les nombres premiers, Acta Arithmetica, vol.4, pp.185-208, 1958. ,
Some problems in logic and number theory, and their connection, 1981. ,