Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:theorem
|
| gptkbp:applies_to |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:developed_by |
gptkb:Robert_Solovay
|
| gptkbp:establishes |
consistency of certain axioms
|
| gptkbp:field |
gptkb:Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Solovay's theorem
|
| gptkbp:is_debated_in |
existence of certain models
|
| gptkbp:is_used_in |
mathematical logic
|
| gptkbp:issues |
gptkb:Set
|
| gptkbp:related_to |
forcing
|
| gptkbp:was_a_result_of |
set-theoretic topology
|
| gptkbp:bfsParent |
gptkb:Robert_M._Solovay
|
| gptkbp:bfsLayer |
6
|