[FOM] A question about the possible sizes of definable collections of non measurable sets of reals
Ashutosh
ashu1559 at gmail.com
Thu Oct 9 08:42:12 EDT 2008
Is there a definable collection of non measurable sets of reals, in
the theory ZFC, whose size is not equal to the power set of reals?
That is, does there exist a formula \phi(x) in the language of ZFC
such that the following hold:
(1) ZFC proves \phi(x) --> "x is a non measurable subset of R" and
(2) ZFC proves "cardinality of {x : \phi(x)}" < "cardinality of the
power set of reals"?
Any references to results that answer questions in similar directions
would be appreciated.
Thanks.
Ashutosh
More information about the FOM
mailing list