Proper Forcing

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf Set theory concept
gptkbp:citation Shelah, Saharon. Proper Forcing. Lecture Notes in Mathematics, 940. Springer, 1982.
gptkbp:field gptkb:Mathematics
gptkb:Set_theory
gptkbp:hasProperty Does not collapse ω₁
Preserves countable elementary submodels
https://www.w3.org/2000/01/rdf-schema#label Proper Forcing
gptkbp:introduced gptkb:Saharon_Shelah
gptkbp:introducedIn 1978
gptkbp:preserves Stationary subsets of ω₁
ω₁
gptkbp:relatedTo gptkb:Martin's_Axiom
gptkb:Axiom_of_choice
Forcing
Countable support iteration
gptkbp:usedFor Consistency results in set theory
gptkbp:bfsParent gptkb:Saharon_Shelah
gptkbp:bfsLayer 4