Added tag "large cardinals"
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?