Erdős problem 16 · problems.science

Is the set of odd integers not of the form $2^k+p$ the union of an infinite arithmetic progression and a set of density $0$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

16.lean

Retained formal statement2 of 3

Using covering congruences Erdős [Er50] proved that the set of odd integers which are not of this form contains an infinite arithmetic progression.

FormalConjectures/ErdosProblems/16.leanErdos16.erdos_16.variant.erdos1 lineExact file

1∃ a, ∃ d > 0, {x | ∃ m, x = a + m * d} ⊆ Erdos16.Erdos16Set

SolvedStatement only, no proof