Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
large cardinal
|
| gptkbp:are |
used in set theory
a subject of research in mathematical logic a type of cardinal number associated with the study of large cardinals related to the concept of determinacy strongly inaccessible named_after_W._Hugh_Woodin |
| gptkbp:can_be |
be used to prove the consistency of certain axioms
|
| gptkbp:condition |
the existence of a proper class of measurable cardinals
|
| https://www.w3.org/2000/01/rdf-schema#label |
Woodin Cardinals
|