Are all models of ZF + DC + "All set of reals are lebesgue measurable" also models of CH? 
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 I found that the same model satisfies the "perfect set property" which implies that every uncountable subset of $\mathbb{R}$ is bijectable with $\mathbb{R}$. In other words, the Continuum Hypothesis (CH) is true in that model. I also found that the Axiom of Determinacy (AD) implies that every set of reals is Lebesgue measurable and it also implies the perfect set property.
Therefore, I have a question: Does ZF+DC+"All set of reals are Lebesgue measurable" always imply CH?
 A: The question seems to be an open research problem; it was posed in 2011 on MO (and has remained unanswered), see: 
Lebesgue Measurability and Weak CH
A: Some remarks:
First of all it is known since 1906 that the axiom of choice implies the existence of non-measurable sets. What Solovay have shown is that it is consistent (relative to the existence of an inaccessible cardinal) that $\small\sf{ZF+DC+CH+}\text{"Every set of reals is Lebesgue measurable"}$ is consistent, for brevity we abbreviate the last axiom of $\small\sf LM$. The axiom of determinacy ($\small\sf AD$) requires a lot more than just one inaccessible cardinal, and it indeed implies the same properties as Solovay's model does (except $\small\sf DC$ which is true in some models of determinacy, but not in others; it is true that $\small\sf AD$ implies the axiom of countable choice for sets of real numbers, which is weaker than $\small\sf DC$).
$\small\sf DC$ is the best you can hope for in terms of choice principles and measurability for two reasons:


*

*$\small\sf DC_{\aleph_1}$ implies that there is a non-measurable set.

*The ultrafilter lemma implies that there is a non-measurable set.


It is also partially required. If we remove this axiom, then measure theory becomes hard to develop because the measure need not be countably additive. We could ask about sets being Borel sets instead, and it is indeed it is consistent that $\small\sf ZF+CH+\text{"Every set of reals is Borel"}$ this is proved in a work of Truss which showed that if we repeat a similar construction as Solovay's model then we may end up with a universe where $\small\sf CH$ holds, but $\aleph_1$ is singular and every set is Borel; but also $\small\sf ZF+\lnot CH+\text{"Every set of reals is Borel"}$ which is true in the Feferman-Levy model which is somewhat of a prelude to Solovay's work, and in this model the real numbers are a countable union of countable sets (still uncountable though) so every set is Borel, but as it turns out there is an intermediate cardinality.
