Triple
T4492952
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | constructible universe |
E100621
|
entity |
| Predicate | hasReferenceWork |
P48731
|
FINISHED |
| Object |
Gödel 1940 monograph "The Consistency of the Continuum Hypothesis"
Gödel's 1940 monograph "The Consistency of the Continuum Hypothesis" is a landmark work in set theory that introduced the constructible universe (L) and proved that the Continuum Hypothesis and the Axiom of Choice are consistent with Zermelo–Fraenkel set theory, assuming ZF itself is consistent.
|
E446860
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd43cdf15081909a4fa2585ff63b3e |
elicitation | completed |
| NER | batch_69bd5570ba0881908f5fb4f8d0730e64 |
ner | completed |
| NED1 | batch_69bd67b40fd4819098636b6f29304312 |
ned_source_triple | completed |
| NED2 | batch_69bd69bcf10c8190bd6ceb6bc604b3f5 |
ned_description | completed |
| NEDg | batch_69bd688e84fc8190a8900be40e3cf694 |
nedg | completed |
Created at: March 20, 2026, 12:59 p.m.