Erdős problem 1199 · problems.science

Is it true that in any 2-colouring of $\mathbb{N}$ there exists an infinite set $A$ such that all elements of $A+A$ are the same colour?

No current result

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

FormalConjectures/ErdosProblems/1199.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1199.leanErdos1199.erdos_11991 lineExact file

1True ↔ ∀ (color : ℕ → Fin 2), ∃ A, A.Infinite ∧ ∀ n ∈ A + A, ∀ m ∈ A + A, color n = color m

OpenStatement only, no proof