Forcing is a method first used to prove the continuum hypothesis is independent of the classical axioms of set theory, by Paul Cohen in 1963. Since then it been widely used for independence results in fields such as infinitary combinatorics, measure theory, and recursion theory.
Stats
created |
5 years ago by Joel David Hamkins |
viewed |
26 times |
active |
1 year ago |
editors |
1 |
Top Answerers
more »Recent Hot Answers
In What Way are Set Theorists' 'Experiences' in the CH Worlds Flawed, if Any?Forcing as a tool to prove theorems
Forcing as a tool to prove theorems
What is the generic poset used in forcing, really?
Universe view vs. Multiverse view of Set Theory
more »
Related Tags
set-theory × 340
lo.logic × 152
large-cardinals × 61
reference-request × 43
axiom-of-choice × 21
model-theory × 18
ultrafilters × 10
ho.history-overview × 10
continuum-hypothesis × 10
boolean-algebras × 10
posets × 7
measure-theory × 6
ultrapowers × 3
determinacy × 3
trees × 2
order-theory × 2
gch × 2
more related tags