Is there a definable (in Zermelo Fraenkel set theory with choice) collection of non measurable sets of reals of size continuum? More verbosely: Is there a class A = {x: \phi(x)} such that ZFC proves "A is a collection, of size continuum, consisting of non Lebesgue measurable subsets of reals"?

(Edit.) With a closer reading of your question, I see that you asked for a very specific notion of definability. If you allow the family to have size larger than continuum, there is a trivial Yes answer. Namely, let phi(x) be the assertion "x is a nonmeasurable set of reals". In any model of ZFC, this formula defines a family of nonmeasurable sets of reals, and it is not difficult to show in ZFC that there are at least continuum many such sets (for example, as in the comment of Qiachu Yuan). Thus, ZFC proves that {x  phi(x)} is a family of nonmeasurable sets of size at least continuum. But if you insist that the family have size exactly the continuum, as your question clearly states, then this trivial answer doesn't work. Indeed, one can't even take the class of all Vitali sets in this case, since there are 2^continuum many sets of reals that contain exactly one point from each equivalence class for rational translations. Qiachu Yuan's suggestion about translations of a single Vitali set does have size continuum, but there is little reason to expect the Vitali set to be definable in the way that you have requested, and so it does not provide the desired definable family. In my earlier posted answer, I considered the possibility that you might have meant some other notion of definability, or whether parameters are allowed in the definition, and so on. And I find some of these other versions of the question to be quite interesting and subtle. I pointed out that it is surely consistent with ZFC that there is the desired definable family of nonmeasurable sets, since in fact any set at all can be made definable in a forcing extension that adds no reals and no sets of reals. So you can take any family of nonmeasurable sets that you like and go to a forcing extension where this family is definable. Perhaps a stronger notion of definibility would be to use the notion of projective definitions, where one wants to define the sets within the structure of the reals, using quantification only over reals and natural numbers (rather than over the entire settheoretic universe). Thus, we want a projective formula phi(x,z), such that A_z={x  phi(x,z)} is always nonmeasurable for any z and all A_z are different. Such a formula would be a strong example of the phenomenon you seek. The first answer to this way of asking the question is that it is consistent with ZFC that there is such a projective family. The reason is that I have mentioned in a number of questions and answers on this site, under the Axiom of Constructibility V=L, there is a projectively definable wellordering of the reals. Thus, under V=L, one can projectively define a Vitali set, and then take the family of its translations. There is no need for a parameter in this definition, since a particular Vitali set can be projectively defined without parameters from the projectively definable wellordering of the reals. The second answer to this version of the question, however, is that under certain settheoretic assumptions such as Projective Determinacy, every projective set of reals is Lebesgue measurable. In this case, there can be no such projectively defined family of nonmeasurable sets. The assumption of PD is consistent with ZFC from large cardinals, but perhaps one needs a much weaker hypothesis meerely to get every projective set measurable. In summary, if one wants a projectively definable family of nonmeasurable sets, then it is independent of ZFC, if large cardinals are consistent. (Perhaps the need for large cardinals can be reduced.) 


The following appears in On definability of non measurable sets, Harvey Friedman, Canadian Journal of Mathematics, Vol. 32, No. 3, 1980. Let $M$ be the Solovay's model for $ZF + DC + V = L(R) +$ every set of reals is Lebesgue measurable etc. Let $\kappa$ be a regular cardinal of cofinality bigger than $\omega_1$ in $M$. Then forcing with countable partial functions from $\kappa$ to $2$ gives a model $N$ which satisfies choice and the statement: "Every definable, with ordinal and real parameters, set of sets of reals of size less than continuum has only Lebesgue measurable sets". 

