Return to Question

Added tag "large cardinals"

edited Oct 13 2010 at 20:48

Andres Caicedo
14.4k●1●42●79

set-theory large-cardinals

view source

asked Jul 27 2010 at 4:19

Ricky Demer
6,401●8●31

Measurable cardinals under Axiom of Determinacy

I seem to remember reading somewhere that ZF+AD proves that omega-1 and omega-2 are measurable cardinals.

Is that right?

If so, can someone [point me to or give here] a [sketch or proof] of these results?

set-theory