Silver forcing

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf set-theoretic forcing
gptkbp:adds a Silver real
gptkbp:category forcing notion
gptkbp:condition partial function from ω to 2 with coinfinite domain
gptkbp:destroyedBy CH (Continuum Hypothesis)
gptkbp:heldBy proper forcing
not ccc
not σ-closed
ω₁-preserving
https://www.w3.org/2000/01/rdf-schema#label Silver forcing
gptkbp:introduced gptkb:Jack_Silver
gptkbp:namedAfter gptkb:Jack_Silver
gptkbp:preserves cofinalities of cardinals
stationary subsets of ω₁
gptkbp:relatedTo gptkb:Sacks_forcing
gptkb:Mathias_forcing
gptkb:Cohen_forcing
gptkbp:usedFor independence proofs in set theory
add a new real
gptkbp:usedIn gptkb:set_theory
gptkbp:bfsParent gptkb:Cohen's_forcing
gptkbp:bfsLayer 5