Erdős problem 602 · problems.science

Does every almost-disjoint family of countably infinite sets whose pairwise intersections all have size ≠ 1 have Property B?

Sources

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

8 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

602.lean

Retained formal statement5 of 8

Empty index set.

If the index set I is empty (has no elements), then Property B holds vacuously: any 2-colouring works, since there are no sets to be made non-monochromatic.

FormalConjectures/ErdosProblems/602.leanErdos602.erdos_602.variants.empty_index2 linesExact file

1∀ {α : Type u_1} (A : PEmpty.{u_2 + 1} → Set α),2  (∀ (i : PEmpty.{u_2 + 1}), (A i).Infinite) → Erdos602.HasPropertyB PEmpty.{u_2 + 1} A

TextbookStatement only, no proof

Sources

Search problems.science