Erdős problem 602
Does every almost-disjoint family of countably infinite sets whose pairwise intersections all have size ≠ 1 have Property B?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/602.lean¬Erdos602.disjoint_without_infinite_claimSolvedStatement only, no proof
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Subtle errors