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.
In fact, by results of Moti Gitik, ZFC + the negation of SCH is equiconsistent with ZFC + the existence of a measurable cardinal κ of Mitchell order κ++.
It was founded in 1996 by Zico, and is the house of the ZFC Club – which competes on the B Series of the Rio State Championship, the club will host football tournament matches during Rio 2007.