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$ ?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/120.lean

Formal Conjectures

FormalConjectures/ErdosProblems/120.leanErdos120.erdos_1201 lineExact file

1True ↔ ∀ (A : Set ℝ), A.Infinite → Erdos120.Erdos120For A

OpenStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

AI alongside literature
Erdős AI contributions wiki · 14 Mar, 2026
Machine
DeepMind prover agent
Open the source record

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Reported activity

Continue

Search problems.science