constructible universe
E100621
UNEXPLORED
The constructible universe is a class model of set theory introduced by Kurt Gödel that systematically builds sets in hierarchical stages and shows the relative consistency of the axiom of choice and the generalized continuum hypothesis with ZF.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Kurt Gödel
→
|
notableWork |