1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…