Donald A. Martin

American mathematician
Donald A. Martin

Donald Anthony Martin (born December 24, 1940), also known as Tony Martin, is an American set theorist and philosopher of mathematics at UCLA, where he is an emeritus professor of mathematics and philosophy.

Education and career

Martin received his B.S. from the Massachusetts Institute of Technology in 1962 and was a Junior Fellow of the Harvard Society of Fellows in 1965–67.[1] In 2014, he became a Fellow of the American Mathematical Society.[2]

Martin was the 1992 Tarski lecturer.

Philosophical and mathematical work

Among Martin's most notable works are the proofs of analytic determinacy[3] (from the existence of a measurable cardinal), Borel determinacy[4] (from ZFC alone), the proof (with John R. Steel) of projective determinacy[5] (from suitable large cardinal axioms), and his work on Martin's axiom.[6] The Martin measure on Turing degrees is also named after Martin.

See also

References

  1. ^ "Donald (Tony) Martin - Emeritus".
  2. ^ List of Fellows of the American Mathematical Society, retrieved 2014-12-17
  3. ^ Martin, Donald (1970). "Measurable cardinals and analytic games". Fundamenta Mathematicae. 66 (3): 287–291. doi:10.4064/fm-66-3-287-291. ISSN 0016-2736.
  4. ^ Martin, Donald A. (1975). "Borel determinacy". Annals of Mathematics. Second Series. 102 (2): 363–371. doi:10.2307/1971035. JSTOR 1971035.
  5. ^ Martin, Donald A. and John R. Steel (Jan 1989). "A Proof of Projective Determinacy". Journal of the American Mathematical Society. 2 (1): 71–125. doi:10.2307/1990913. JSTOR 1990913.
  6. ^ Martin, Donald A.; Solovay, Robert M. (1970). "Internal Cohen extensions". Ann. Math. Logic. 2 (2): 143–178. doi:10.1016/0003-4843(70)90009-4. MR 0270904.

External links

Authority control databases Edit this at Wikidata
International
  • ISNI
  • VIAF
  • WorldCat
National
  • France
  • BnF data
  • Israel
  • United States
  • Czech Republic
  • Netherlands
Academics
  • DBLP
  • MathSciNet
  • Mathematics Genealogy Project
  • zbMATH
Other
  • IdRef


  • v
  • t
  • e