examplesOfLargeCardinals
6
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:ZFC+large_cardinal_axioms | inaccessible cardinal |
| gptkb:ZFC+large_cardinal_axioms | supercompact cardinal |
| gptkb:ZFC+large_cardinal_axioms | gptkb:huge_cardinal |
| gptkb:ZFC+large_cardinal_axioms | gptkb:Woodin_cardinal |
| gptkb:ZFC+large_cardinal_axioms | measurable cardinal |
| gptkb:ZFC+large_cardinal_axioms | strong cardinal |