Erdős problem 120

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

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

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