[FOM] Re: Addition with Primality: Decidability and Heuristics

[Vladik Kreinovich]

The exact coordinates are:

Bateman, P. T.; Jockusch, C. G.; Woods, A. R. Decidability and undecidability 
of theories with a predicate for the primes. J. Symbolic Logic 58 (1993), no. 
2, 672--687. 
          
> X-Ids: 168
> Date: Mon, 9 Aug 2004 16:26:23 +0200 (CEST)
> From: Zahidi Karim <zahidi at logique.jussieu.fr>

> there is a paper  proving the undecidability of 
> addition and primality assuming Schinzel's Hypothesis. It appeared in the 
> Journal of Symbolic Logic  in the mid nineties. The authors include Alan 
> Woods and Jockusch.