Donald A. Martin

Donald Anthony Martin, genannt Tony Martin, (* 24. Dezember 1940) ist ein US-amerikanischer Mathematiker und Philosoph, der sich mit mathematischer Logik und Mengenlehre beschäftigt. Ende der 1960er Jahre war er Professor an der Rockefeller University und ist seit Anfang der 1970er Jahre Professor an der University of California, Los Angeles (UCLA), gleichzeitig für Mathematik und Philosophie.

Martin ist für Arbeiten in der axiomatischen Mengenlehre bekannt. 1970 bewies er aus dem Axiom der Existenz einer messbaren Kardinalzahl, das analytische Spiele determiniert sind. ^[1] 1975 bewies er die Determiniertheit von Borel Spielen aus den Axiomen der ZFC (Zermelo-Fraenkel-Mengenlehre)^[2]. und 1989 projektive Determiniertheit aus Axiomen großer Kardinalzahlen mit John R. Steel ^[3].

Nach ihm ist Martins Axiom benannt^[4], ein von den Axiomen der Zermelo-Fraenkel-Mengenlehre (ZFC) unabhängiges, aber mit diesen konsistentes Axiom, das Folge der Kontinuumshypothese ist, aber auch konsistent mit ZFC und der Negation der Kontinuumshypothese ist. Es hat vielfältige Anwendungen auch außerhalb der Mengenlehre.

Er ist seit 2004 Mitglied der American Academy of Arts and Sciences. 1994 war er Gödel-Lecturer. 1992 hielt er die Tarski Lectures in Berkeley.

1988 erhielt er mit Steel und W. Hugh Woodin den Karp-Preis für den Beweis, das aus der Existenz einer superkompakten Kardinalzahl die Gültigkeit des Determiniertheitsaxioms im kleinsten transitiven Modell der Zermelo-Fraenkel-Mengenlehre, das die reellen Zahlen und alle Ordinalzahlen umfasst, folgt.

Weblinks

• Geschichte der Logik an der UCLA
• Homepage an der UCLA

Einzelnachweise

1. ↑ Martin Measurable cardinals and analytic games,Fundamenta Mathematica, Bd.66, 1970, S.287
2. ↑ Martin Borel determinacy, Annals of Mathematics, 2. Series, Bd.102, 1975, S.363–371
3. ↑ Martin, Steel, A Proof of Projective Determinacy, Journal of the American Mathematical Society, Bd.2, 1989, S. 71–125
4. ↑ Martin, Robert Solovay Internal Cohen Extensions, Annals of Mathem. Logic, Bd. 2, 1970, S. 143-178

PND: kein individualisierter Datensatz vorhanden (Stand: 22. Januar 2011)

Normdaten: LCCN: n81016456 | VIAF: 109788683 | WorldCat | WP-Personeninfo