a shorter proof: Martin’s axiom and the continuum hypothesis
This is another, shorter, proof for the fact that always holds.
Let be a partially ordered set and be a collection of subsets of . We remember that a filter on is -generic if for all which are dense in . (In this context “dense” means: If is dense in , then for every there’s a such that .)
Let be a partially ordered set and a countable collection of dense subsets of . Then there exists a -generic filter on . Moreover, it could be shown that for every there’s such a -generic filter with .
|Title||a shorter proof: Martin’s axiom and the continuum hypothesis|
|Date of creation||2013-03-22 13:53:58|
|Last modified on||2013-03-22 13:53:58|
|Last modified by||x_bas (2940)|