Laver forcing

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf set-theoretic forcing notion
gptkbp:hasProperty proper forcing
ω-distributive
adds a dominating real
https://www.w3.org/2000/01/rdf-schema#label Laver forcing
gptkbp:introduced gptkb:Richard_Laver
gptkbp:introducedIn 1976
gptkbp:namedAfter gptkb:Richard_Laver
gptkbp:preserves measurability of large cardinals
gptkbp:relatedTo gptkb:Mathias_forcing
gptkb:Silver_forcing
gptkbp:usedFor add a Laver real
construct models with special reals
make the continuum hypothesis fail
prove consistency results in set theory
gptkbp:usedIn gptkb:set_theory
gptkbp:bfsParent gptkb:Cohen's_forcing
gptkbp:bfsLayer 5