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
|