perfect set forcing

GPTKB entity

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