[FOM] Woodin's pair of articles on CH

[Monroe Eskew]

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.
>