Erdős problem 1113

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

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

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