Erdős problem 318 · problems.science

There exists a set A with positive density that does not have property P₁. #TODO: prove this lemma by assuming erdos_318.contain_single_even.

Sources

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

7 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

318.lean

Retained formal statement2 of 7

Does the set of squares excluding 1 have property P₁?

Larsen [La26] proved that this set does have property P₁.

FormalConjectures/ErdosProblems/318.leanErdos318.erdos_318.parts.ii1 lineExact file

1True ↔ Erdos318.P₁ ({n | IsSquare n} \ {1})

SolvedStatement only, no proof