Among Martin's most notable work are the proofs of analytic determinacy (from 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.