Skip to Main content Skip to Navigation
Conference papers

On the additive theory of prime numbers II

Abstract : 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 possible approach, we extend the latter theory by adding some extra function. In this direction we show the undecidability of the existential part of the theory Th(N, +, n -> p_n, n -> r_n), where r_n is the remainder of p_n divided by n in the euclidian division.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Patrick Cegielski <>
Submitted on : Wednesday, September 20, 2006 - 2:33:57 PM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 1:04:21 AM




Patrick Cegielski, Denis Richard, Maxim Vsemirnov. On the additive theory of prime numbers II. 2005, pp.39-47. ⟨hal-00096769⟩



Record views


Files downloads