output
20062011
most citedModel-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

77 citations

researchers with a paper here
collaborating institutions
Showing math.LOShow all

1 paper · 1 filter

math.LO2006

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…