Forcing is a method first used to prove the continuum hypothesis is independent of the classical axioms of set theory
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.
|
created |
15 years ago by Joel David Hamkins |
|
viewed |
73 times |
|
active |
11 years, 5 months ago |
|
editors |
1 |
