Erdős problem 199 · problems.science

If $A\subset \mathbb{R}$ does not contain a 3-term arithmetic progression then must $\mathbb{R}\backslash A$ contain an infinite arithmetic progression?

Retained from Formal Conjectures · not edited here

Formal statements: 1 solved
Erdős Problems says: disproved (Lean)
Decision here: No current contribution
Checks: 0 checks · 1 formal

Current Result

Accepted in Vela Mathematics Program

Current Result

No result has been accepted here yet.

Type: —
Evidence: 0 artifacts
Decision: None
Reviewed: No date retained

No result has been accepted here yet.

Search problems.science