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 statement3 of 3

Sierpiński [Si60] proved that there are infinitely many Sierpiński numbers, using covering systems to construct suitable covering sets for any $k$ satisfying a certain congruence.

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

1{k | k.IsSierpinskiNumber}.Infinite

SolvedStatement only, no proof

Sources

Search problems.science