Decidability and Undecidability of Theories with a Predicate for the Primes. - P. T. Bateman; Carl G. Jockusch Jr.; Alan R. Woods (J. Symb. Log., 1993)