Jónsson cardinal

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf large cardinal
gptkbp:consistency It is consistent with ZFC that there are no Jónsson cardinals.
gptkbp:defines A cardinal κ is Jónsson if for every function f:[κ]^{<ω}→κ there is a set H⊆κ of cardinality κ such that f restricted to [H]^{<ω} does not cover κ.
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Jónsson cardinal
gptkbp:introducedIn 1960s
gptkbp:namedAfter gptkb:Bjarni_Jónsson
gptkbp:property uncountable
regular or singular
gptkbp:relatedConcept gptkb:Erdős_cardinal
measurable cardinal
gptkbp:bfsParent gptkb:Bjarni_Jónsson
gptkbp:bfsLayer 5