Skip to content

Erdős problem 955

If A⊂NA\subset \mathbb{N} has density 00 then s−1(A)s^{-1}(A) must also have density 00.

Sources

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

12 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

955.lean

Retained formal statement11 of 12
FormalConjectures/ErdosProblems/955.leanErdos955.s_twenty_eight1 lineExact file
Erdos955.s 28 = 28
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page