Skip to content

Erdős problem 120

Let A⊆RA \subseteq \mathbb{R} be an infinite set. Must there be a set E⊆RE \subseteq \mathbb{R} of positive measure which does not contain any set of the shape a∗A+ba * A + b for some a,b∈Ra,b \in \mathbb{R} and a≠0a \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 statement1 of 2

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

FormalConjectures/ErdosProblems/120.leanErdos120.erdos_1201 lineExact file
True ↔ ∀ (A : Set ℝ), A.Infinite → Erdos120.Erdos120For A
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page