Skip to content

Erdős problem 1146

Start work

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

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1146.lean

Retained formal statement1 of 1

Is B={2m3n:m,n≥0}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 2m3n2^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
True ↔ Erdos1146.IsEssentialComponent {k | ∃ m n, k = 2 ^ m * 3 ^ n}
OpenStatement only, no proof