Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:technique
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Paul_Cohen
|
| gptkbp:allows |
the construction of models where the continuum hypothesis does not hold
the construction of models where the continuum hypothesis holds |
| gptkbp:applies_to |
continuum hypothesis
model theory |
| gptkbp:developed_by |
gptkb:Paul_Cohen
|
| https://www.w3.org/2000/01/rdf-schema#label |
Forcing
|
| gptkbp:is_a |
method for adding sets
method for extending models method for proving consistency method in mathematical logic technique for constructing models technique in set theory tool for proving independence results |
| gptkbp:is_considered |
a revolutionary technique in mathematics
|
| gptkbp:is_related_to |
ZFC axioms
|
| gptkbp:is_used_in |
proofs of independence
|
| gptkbp:is_used_to |
construct models of set theory
demonstrate the independence of mathematical statements analyze the properties of models create new set-theoretic universes show consistency results in set theory |
| gptkbp:provides |
a method to prove the independence of the continuum hypothesis
|
| gptkbp:used_in |
gptkb:collection
|