Erdős problem 120 · problems.science

Let $A \subseteq \mathbb{R}$ be an infinite set. Must there be a set $E \subseteq \mathbb{R}$ of positive measure which does not contain any set of the shape $a * A + b$ for some $a,b \in \mathbb{R}$ and $a \neq 0$ ?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

120.lean

Retained formal statement2 of 2

Steinhaus [St20] has proved Erdős 120 to be false whenever $A$ is a finite set.

FormalConjectures/ErdosProblems/120.leanErdos120.erdos_120.variants.finite_set1 lineExact file

1∀ {A : Set ℝ}, A.Finite → ¬Erdos120.Erdos120For A

SolvedStatement only, no proof

Sources

Search problems.science