Triple
T839946
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Kurt Gödel |
E18153
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
constructible universe
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.
|
E100621
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a49389f44881909a608fb27d89f247 |
elicitation | completed |
| NER | batch_69a4abe4ab1081909207ae2eec1898d9 |
ner | completed |
| NED1 | batch_69a7929860f081909c86f84d7cfe6acb |
ned_source_triple | completed |
| NED2 | batch_69a796bee5388190ab0abf0bfa08ad97 |
ned_description | completed |
| NEDg | batch_69a796370f388190b23cd19cc3fa5a3b |
nedg | completed |
Created at: March 1, 2026, 7:38 p.m.