Gödel's constructible universe
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:concept
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Kurt_Gödel
|
| gptkbp:defines |
L(x)
|
| gptkbp:developed_by |
gptkb:Kurt_Gödel
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gödel's constructible universe
|
| gptkbp:introduced |
1938
|
| gptkbp:is_a |
gptkb:architect
definable class of sets |
| gptkbp:is_associated_with |
large cardinals
|
| gptkbp:is_characterized_by |
the constructible hierarchy
|
| gptkbp:is_considered |
model theory
|
| gptkbp:is_explored_in |
philosophy of mathematics
|
| gptkbp:is_part_of |
foundations of mathematics
|
| gptkbp:is_related_to |
forcing
|
| gptkbp:is_used_in |
proof of the independence of the continuum hypothesis
|
| gptkbp:provides |
a model of Zermelo-Fraenkel set theory
|
| gptkbp:related_to |
gptkb:collection
|