Cohen forcing

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf set-theoretic forcing
countable chain condition forcing
gptkbp:adds gptkb:Cohen_reals
gptkbp:amendedBy cardinality of the continuum
gptkbp:consistsOf finite partial functions from ω to 2
gptkbp:enables construction of generic extensions
https://www.w3.org/2000/01/rdf-schema#label Cohen forcing
gptkbp:introducedIn 1963
gptkbp:namedAfter gptkb:Paul_Cohen
gptkbp:relatedTo gptkb:set_theory
forcing
gptkbp:type partial order
gptkbp:usedFor proving independence of the axiom of choice
proving independence of the continuum hypothesis
gptkbp:usedIn gptkb:logic
model theory
gptkbp:bfsParent gptkb:Silver_forcing
gptkbp:bfsLayer 6