Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Jónsson cardinal
|