Cohen forcing List of forcing notions



in cohen forcing (named after paul cohen) p set of functions finite subset of ω2 × ω {0,1} , p < q if p






{\displaystyle \supseteq }

q.


this poset satisfies countable chain condition. forcing poset adds ω2 distinct reals model; poset used cohen in original proof of independence of continuum hypothesis.


more generally, 1 can replace ω2 cardinal κ construct model continuum has size @ least κ. here, restriction κ not have cofinality ω.







Comments

Popular posts from this blog

File format Wavefront .obj file

CEFR alignment Euroexam International

Books Soma Valliappan