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
|