Erdős problem 1146 · problems.science

Is $B=\{2^m3^n : m,n\geq 0\}$ an essential component?

Sources

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

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1146.lean

Retained formal statement1 of 1

Is $B=\{2^m3^n : m,n\geq 0\}$ an essential component?

In [Ru99] Ruzsa states "The simplest set with a chance to be an essential component is the collection of numbers in the form $2^m3^n$ and Erdős often asked whether it is an essential component or not; I do not even have a plausible guess."

FormalConjectures/ErdosProblems/1146.leanErdos1146.erdos_11461 lineExact file

1True ↔ Erdos1146.IsEssentialComponent {k | ∃ m n, k = 2 ^ m * 3 ^ n}

OpenStatement only, no proof

Sources

Search problems.science