Erdős problem 1113 · problems.science

Erdős Problem 1113. Do there exist Sierpiński numbers that possess no finite covering set of primes?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1113.lean

Retained formal statement2 of 3

Filaseta–Finch–Kozek conjecture (2008). Every Sierpiński number is either a perfect power or possesses a finite covering set of primes.

FormalConjectures/ErdosProblems/1113.leanErdos1113.erdos_1113.variants.filaseta_finch_kozek1 lineExact file

1∀ (k : ℕ), k.IsSierpinskiNumber → k.IsPerfectPower ∨ Erdos1113.HasFinitePrimeCoveringSet k

OpenStatement only, no proof