Donald A. Martin

from Wikipedia, the free encyclopedia
Donald A. Martin (1973)

Donald Anthony Martin , called Tony Martin (born December 24, 1940 ) is an American mathematician and philosopher who deals with mathematical logic and set theory. In the late 1960s he was a professor at Rockefeller University and since the early 1970s he has been a professor at the University of California, Los Angeles (UCLA), simultaneously for mathematics and philosophy. In 1971 he received a research grant from the Alfred P. Sloan Foundation ( Sloan Research Fellowship ).

Martin is known for his work in axiomatic set theory. In 1970 he proved from the axiom of the existence of a measurable cardinal number that analytical games are determined . In 1975 he proved the determinacy of Borel games from the axioms of the ZFC ( Zermelo-Fraenkel set theory ) and in 1989 projective determinacy from axioms of large cardinal numbers with John R. Steel .

According to him, Martin's Axiom named one of the axioms of Zermelo-Fraenkel set theory independent (ZFC), but with these consistent axiom that due to the continuum hypothesis is also consistent with ZFC and the negation of the continuum hypothesis. It has many uses outside of set theory.

He has been a member of the American Academy of Arts and Sciences since 2004 . In 1994 he was a Gödel lecturer . In 1992 he gave the Tarski Lectures in Berkeley.

In 1988, together with Steel and W. Hugh Woodin, he received the Karp Prize for the proof that the existence of a super compact cardinal number implies the validity of the axiom of determinacy in the smallest transitive model of Zermelo-Fraenkel set theory, which includes real numbers and all ordinals .

In 1978 he was invited speaker at the International Congress of Mathematicians in Helsinki ( Infinite games ).

Web links

Individual evidence

  1. ↑ Martin Measurable cardinals and analytic games , Fundamenta Mathematica, Vol. 66, 1970, p. 287
  2. ↑ Martin Borel determinacy , Annals of Mathematics, 2nd Series, Vol. 102, 1975, pp. 363-371
  3. ^ Martin, Steel, A Proof of Projective Determinacy, Journal of the American Mathematical Society, Vol. 2, 1989, pp. 71-125
  4. ^ Martin, Robert Solovay Internal Cohen Extensions , Annals of Mathem. Logic, Vol. 2, 1970, pp. 143-178
personal data
SURNAME Martin, Donald A.
ALTERNATIVE NAMES Martin, Tony; Martin, Donald Anthony (full name)
BRIEF DESCRIPTION American mathematician and philosopher
DATE OF BIRTH December 24, 1940