1.Previous
3.Next

the existence of a measurable cardinal), Borel determinacy (from ZFC alone), the proof (with John R. Steel) of projective determinacy (from suitable large cardinal axioms), and his work on Martin's axiom. The Martin measure

1.Previous
3.Next