Statements (95)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
set theory technique
|
| gptkbp:alsoKnownAs |
forcing
|
| gptkbp:basisFor |
gptkb:Solovay_model
gptkb:Laver_forcing gptkb:Sacks_forcing gptkb:Martin's_axiom gptkb:Easton's_theorem gptkb:Mathias_forcing gptkb:Prikry_forcing gptkb:Silver_forcing proper forcing forcing with preservation of GCH (generalized continuum hypothesis) forcing with preservation of Lebesgue measurability forcing with preservation of cardinal characteristics of the continuum forcing with preservation of descriptive set theory properties forcing axioms forcing with Boolean algebras forcing with Cohen reals forcing with Martin's axiom forcing with absoluteness forcing with antichains forcing with ccc (countable chain condition) forcing with conditions forcing with countable conditions forcing with countable support forcing with countable transitive models forcing with dense sets forcing with finite conditions forcing with finite support forcing with generic extensions forcing with generic filters forcing with generic reals forcing with ground models forcing with indestructibility forcing with large cardinals forcing with measurable cardinals forcing with names forcing with names and interpretations forcing with partial orders forcing with partial orders and filters forcing with perfect set property forcing with preservation of Baire property forcing with preservation of Borel sets forcing with preservation of Lebesgue null sets forcing with preservation of Suslin trees forcing with preservation of absoluteness forcing with preservation of analytic hierarchy forcing with preservation of analytic sets forcing with preservation of cardinals forcing with preservation of category forcing with preservation of cofinalities forcing with preservation of conditions forcing with preservation of constructibility forcing with preservation of definability forcing with preservation of definable sets forcing with preservation of generic extensions forcing with preservation of generic filters forcing with preservation of ground models forcing with preservation of maximal antichains forcing with preservation of measurable sets forcing with preservation of null sets forcing with preservation of open dense sets forcing with preservation of perfect set property forcing with preservation of projective hierarchy forcing with preservation of projective sets forcing with preservation of regular open sets forcing with preservation of regularity properties forcing with preservation of stationary sets forcing with preservation of well-foundedness forcing with preservation theorems forcing with proper forcing axiom forcing with properness forcing with random reals forcing with supercompact cardinals iterated forcing forcing with preservation of partial orders and filters random forcing forcing with preservation of combinatorial properties forcing with preservation of names and interpretations forcing with preservation of countable transitive models forcing with preservation of CH (continuum hypothesis) |
| gptkbp:centralTo |
modern set theory
|
| gptkbp:enables |
construction of generic extensions
demonstration of relative consistency |
| https://www.w3.org/2000/01/rdf-schema#label |
Cohen's forcing
|
| gptkbp:introducedIn |
1963
|
| gptkbp:inventedBy |
gptkb:Paul_Cohen
|
| gptkbp:relatedTo |
model theory
independence proofs Boolean-valued models |
| gptkbp:usedFor |
prove independence of axiom of choice
prove independence of continuum hypothesis |
| gptkbp:usedIn |
gptkb:set_theory
|
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|