Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:appliesTo |
set theory
|
| gptkbp:contributedTo |
the study of large cardinals
|
| gptkbp:developedBy |
gptkb:Robert_Solovay
|
| gptkbp:established |
the existence of certain models of set theory
|
| gptkbp:field |
mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Solovay's theorem
|
| gptkbp:isImportantFor |
mathematical logic
|
| gptkbp:provides |
insight into independence results
|
| gptkbp:publishedIn |
1970s
|
| gptkbp:relatedTo |
forcing
|