Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematics
|
| gptkbp:applies_to |
infinite sets
|
| gptkbp:developed_by |
gptkb:Paul_Cohen
|
| gptkbp:has_property |
consistency
completeness |
| https://www.w3.org/2000/01/rdf-schema#label |
Mu-Epsilon
|
| gptkbp:is_part_of |
set-theoretic hierarchy
|
| gptkbp:related_to |
gptkb:Set
large cardinals ordinal numbers |
| gptkbp:used_in |
mathematical logic
|
| gptkbp:bfsParent |
gptkb:Morris_Louis
|
| gptkbp:bfsLayer |
5
|