On the additive theory of prime numbers II

dc.creatorCegielski, Patrick
dc.creatorRichard, Denis
dc.creatorVsemirnov, Maxim
dc.date2006-09-20
dc.date.accessioned2026-07-07T07:24:59Z
dc.date.available2026-07-07T07:24:59Z
dc.descriptionThe 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.
dc.identifierhttps://arxiv.org/abs/math/0609554
dc.identifierhttp://arxiv.org/abs/math/0609554
dc.identifierCSIT'2005 (Computer Science and Information Technologies, September 19-23, 2005, Yerevan, Armenia) (2005) 39-47
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/116579
dc.subjectLogic
dc.titleOn the additive theory of prime numbers II
dc.typetext

Files

Collections