Erdős problem 598 · problems.science

Erdős Problem 598: Let $m$ be an infinite cardinal and $\kappa$ be the successor cardinal of $2^{\aleph_0}$ . Can one colour the countable subsets of $m$ using $\kappa$ many colours so that every $X \subseteq m$ with $|X| = \kappa$ contains subsets of all possible colours?

Sources

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

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

598.lean

Retained formal statement1 of 1

FormalConjectures/ErdosProblems/598.leanErdos598.erdos_5981 lineExact file

1∀ (m : Type u_1) [Infinite m], True ↔ ∃ c, ∀ (X : Set m), Cardinal.mk ↑X = Erdos598.κ → c '' {s | ↑s ⊆ X} = Set.univ

OpenStatement only, no proof

Sources

Search problems.science