Erdős problem 1167
Erdős Problem 1167. Let be finite, , and be an infinite cardinal. Let be cardinals for all . Is it true that implies Here means cardinal addition, so that if is infinite.
Sources
FormalConjectures/ErdosProblems/
1167.lean
Retained formal statement
Binary-color case. The specialization (two color classes).
∀ (r : ℕ), 2 ≤ r → ∀ (lam : Cardinal.{u}), Cardinal.aleph0 ≤ lam → ∀ (κ : Ordinal.ToType 2 → Cardinal.{u}), (Combinatorics.cardinalPartitionRel (2 ^ lam) (r + 1) 2 fun α => κ α + 1) → Combinatorics.cardinalPartitionRel lam r 2 κOpenStatement only, no proof