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?

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1199.lean

Retained formal statement1 of 2

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?

A conjecture of Owings [Ow74].

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