Sacks forcing

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf set-theoretic forcing notion
gptkbp:adds Sacks real
gptkbp:condition perfect subtree of 2^{<ω}
gptkbp:doesNotAdd gptkb:Cohen_reals
random reals
gptkbp:heldBy minimal forcing
proper forcing
ω-distributive
https://www.w3.org/2000/01/rdf-schema#label Sacks forcing
gptkbp:introducedIn 1963
gptkbp:namedAfter gptkb:Gerald_Sacks
gptkbp:order inclusion of trees
gptkbp:preserves cardinals
Lebesgue measurability of ground model sets
cofinalities
gptkbp:produces minimal extension of constructible universe
gptkbp:relatedTo gptkb:perfect_set_forcing
minimal degree
gptkbp:usedFor add a minimal real
gptkbp:usedIn gptkb:set_theory
gptkbp:bfsParent gptkb:Cohen's_forcing
gptkbp:bfsLayer 5