The tag has no wiki summary.

learn more… | top users | synonyms

71
votes
9answers
11k views

Solutions to the Continuum Hypothesis

Related MO questions: What is the general opinion on the Generalized Continuum Hypothesis? Completion of ZFC ) Background The Continuum Hypothesis (CH) posed by Cantor in 1890 asserts that $ ...
6
votes
1answer
620 views

Iterated forcing and CH

I need some help with this theorem: if $P_\beta=\langle P_\alpha,\dot{Q}_\alpha:\alpha\leq\beta\rangle$, $\beta<\omega_2$, is a CSI of proper forcings, $P_\alpha\Vdash \lvert ...
7
votes
1answer
319 views

Making all cardinals countable and its HOD

Suppose that $G$ is $Col(\omega, <Ord)$-generic over $V$ and let $W=HOD^{V[G]}$. Is $CH$ true in $W$? In general, what can we say about the behaviour of the power function in $W$? Update. Are the ...
7
votes
3answers
559 views

Very Large Cardinal Axioms and Continuum Hypothesis

Are very large cardinal axioms like $I_0$, $I_1$, $I_2$ consistent with $CH$ and $GCH$?
4
votes
2answers
657 views

Are all models of ZF + DC + “All set of reals are lebesgue measurable” also models of CH? [duplicate]

Possible Duplicate: Lebesgue Measurability and Weak CH I have studied a little set theory and I found that Solovay constructed a model of ZF+DC+"All set of reals are Lebesgue measurable" and ...