Statements (17)
Predicate | Object |
---|---|
gptkbp:instanceOf |
forcing notion
|
gptkbp:adds |
perfect set of reals
|
gptkbp:hasProperty |
gptkb:ccc_(countable_chain_condition)
proper forcing |
https://www.w3.org/2000/01/rdf-schema#label |
perfect set forcing
|
gptkbp:introduced |
gptkb:Robert_M._Solovay
|
gptkbp:preserves |
cardinals
cofinalities |
gptkbp:relatedTo |
gptkb:Cohen_forcing
random forcing |
gptkbp:usedFor |
add reals
construct models with continuum many reals prove consistency of continuum hypothesis negation show independence results |
gptkbp:usedIn |
gptkb:set_theory
|
gptkbp:bfsParent |
gptkb:Sacks_forcing
|
gptkbp:bfsLayer |
6
|