Decidability and undecidability with a predicate for the primes (1993)

by C G Jockusch P T Bateman
Venue:J. Symbolic Logic