Analytic Determinacy

(Abstract)

Martin proved that analytic determinacy holds under the assumption that the measurable cardinal exists in 1970.  From his original proof, he developed the homogeneous tree argument, which can be used to show the projective determinacy.