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.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/318.lean

Formal Conjectures

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

1∃ A, A.HasPosDensity ∧ ¬Erdos318.P₁ A

SolvedStatement only, no proof