Erdős problem 1146 · problems.science

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

No current result

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

FormalConjectures/ErdosProblems/1146.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1146.leanErdos1146.erdos_11461 lineExact file

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

OpenStatement only, no proof