Erdős problem 774 · problems.science

Is every proportionately dissociated (infinite) set the union of a finite number of dissociated sets?

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

774.lean

Retained formal statement1 of 1

Is every proportionately dissociated (infinite) set the union of a finite number of dissociated sets?

FormalConjectures/ErdosProblems/774.leanErdos774.erdos_7742 linesExact file

1True ↔2  ∀ (A : Set ℕ), A.Infinite → A.IsProportionatelyDissociated → ∃ T, (∀ S ∈ T, S.IsDissociated) ∧ T.Finite ∧ A = ⋃₀ T

OpenStatement only, no proof