[FOM] Re: Addition with Primality: Decidability and Heuristics
vladik at cs.utep.edu
Mon Aug 9 11:03:57 EDT 2004
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.
> 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.
More information about the FOM