Erdős cardinal

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf large cardinal
gptkbp:consistencyStrength between weakly compact and measurable cardinals
gptkbp:defines A cardinal κ is called an Erdős cardinal if for every function f:[κ]^{<ω}→2 there is a set H of cardinality κ such that f is constant on [H]^{<ω}.
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Erdős cardinal
gptkbp:introducedIn 20th century
gptkbp:isA cardinal number
gptkbp:namedAfter gptkb:Paul_Erdős
gptkbp:notation κ(α) for some ordinal α
gptkbp:property partition property
gptkbp:relatedTo gptkb:Ramsey_cardinal
measurable cardinal
gptkbp:usedIn gptkb:combinatorial_set_theory
gptkbp:bfsParent gptkb:Jónsson_cardinal
gptkbp:bfsLayer 6