Statements (76)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:field |
gptkb:set_theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
forcing (set theory)
|
| gptkbp:introduced |
gptkb:Paul_Cohen
|
| gptkbp:introducedIn |
1963
|
| gptkbp:notableFor |
independence of the axiom of choice
independence of the continuum hypothesis |
| gptkbp:relatedConcept |
partial order
Boolean-valued model forcing extension generic filter ground model |
| gptkbp:subspecies |
gptkb:Laver_forcing
gptkb:Sacks_forcing gptkb:Martin's_axiom gptkb:Mathias_forcing gptkb:Prikry_forcing gptkb:Silver_forcing gptkb:Cohen_forcing proper forcing iterated forcing random forcing Easton forcing Easton support product Hechler forcing Jensen's minimal forcing Lévy collapse Martin's maximum Miller forcing Namba forcing Solovay forcing Suslin forcing ccc forcing countable chain condition forcing countable conditions forcing countable support iteration countable support product finite conditions forcing finite support iteration finite support product forcing axiom preservation of Jonsson cardinals preservation of Mahlo cardinals preservation of Ramsey cardinals preservation of Rowbottom cardinals preservation of Woodin cardinals preservation of cardinals preservation of cofinalities preservation of inaccessible cardinals preservation of ineffable cardinals preservation of large cardinals preservation of measurable cardinals preservation of stationary sets preservation of strong cardinals preservation of supercompact cardinals preservation of the axiom of choice preservation of the continuum hypothesis preservation of weakly Jonsson cardinals preservation of weakly Mahlo cardinals preservation of weakly Ramsey cardinals preservation of weakly Rowbottom cardinals preservation of weakly compact cardinals preservation of weakly inaccessible cardinals preservation of weakly ineffable cardinals preservation theorem proper forcing axiom proper iteration lemma semi-proper forcing side conditions forcing stationary set preserving forcing template forcing tree forcing |
| gptkbp:usedFor |
constructing models of set theory
proving independence results |
| gptkbp:bfsParent |
gptkb:cardinal_characteristics_of_the_continuum
|
| gptkbp:bfsLayer |
7
|