forcing (mathematics)

GPTKB entity

Statements (29)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:category gptkb:logic
gptkb:Set_theory
Proof techniques
gptkbp:field gptkb:set_theory
gptkbp:generalizes proper forcing
iterated forcing
class forcing
forcing with side conditions
gptkbp:hasApplication gptkb:logic
gptkb:descriptive_set_theory
model theory
proof theory
recursion theory
https://www.w3.org/2000/01/rdf-schema#label forcing (mathematics)
gptkbp:introduced gptkb:Paul_Cohen
gptkbp:introducedIn 1963
gptkbp:notableFor independence of the axiom of choice
independence of the continuum hypothesis
gptkbp:notablePublication Paul Cohen's 1963 Annals of Mathematics paper
gptkbp:relatedConcept gptkb:set_theory
model theory
partial order
Boolean-valued model
generic filter
gptkbp:usedFor constructing models of set theory
proving independence results
gptkbp:bfsParent gptkb:Generalized_Continuum_Hypothesis
gptkbp:bfsLayer 7