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 |
9 months ago |
viewed |
16 times |
active |
9 months 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
Universe view vs. Multiverse view of Set Theory
What is the generic poset used in forcing, really?
Forcing as a tool to prove theorems
more »
Related Tags
set-theory × 241
lo.logic × 111
large-cardinals × 47
reference-request × 26
model-theory × 16
axiom-of-choice × 15
posets × 7
ultrafilters × 7
boolean-algebras × 5
measure-theory × 4
math-philosophy × 3
pr.probability × 2
ultrapowers × 2
topos-theory × 2
trees × 2
more related tags