On the additive theory of prime numbers II

Patrick Cegielski, Denis Richard, Maxim Vsemirnov

The undecidability of the additive theory of primes (with identity) as well as the theory Th(N,+, n -> p\_n), where p\_n denotes the (n+1)-th prime, are open questions. As a possib…