Donald A. Martin

Donald Anthony Martin called Tony Martin ( born December 24, 1940) is an American mathematician and philosopher who is concerned with mathematical logic and set theory. In the late 1960s he was a professor at Rockefeller University and since the early 1970s, a professor at the University of California, Los Angeles ( UCLA), at the same time for mathematics and philosophy.

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

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

He is a member of the American Academy of Arts and Sciences since 2004. In 1994 he was Lecturer Godel. In 1992 he held the Tarski Lectures at Berkeley.

In 1988 he was awarded with Steel and W. Hugh Woodin the Karp Prize for proving that from the existence of a supercompact cardinal number the validity of determinism axiom in the smallest transitive model of Zermelo -Fraenkel set theory, which includes the real numbers and all ordinals, it follows.

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