[FOM] Woodin's pair of articles on CH
Monroe Eskew
meskew at math.uci.edu
Sun Jan 17 01:28:28 EST 2010
I apologize-- the point below is not relevant. In ZFC we could do the
proof using these equivalence classes to count things instead of
choosing representatives. I think the step that requires choice is
just that old proposition saying that a \kappa sized union of sets
each of size less than \kappa is size (at most) \kappa.
On Sat, Jan 16, 2010 at 10:56 AM, Monroe Eskew <meskew at math.uci.edu> wrote:
>
> Mapping to the equivalence class of well founded partial orders on
> omega avoids choice at that step. But the equivalence classes are not
> in H_{\omega_1} since they are of size continuum.
>
More information about the FOM
mailing list