John R. Steel

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
John R. Steel

John R. Steel (* 30. Oktober 1948) ist ein US-amerikanischer mathematischer Logiker, der sich mit axiomatischer Mengenlehre beschäftigt.

John Steel promovierte 1977 bei John West Addison und Stephen G. Simpson an der University of California, Berkeley (Determinateness and Subsystems of Analysis). Er war in den 1990er Jahren Professor an der University of California, Los Angeles (UCLA) und ist heute Professor in Berkeley.

Steel befasst sich mit inneren Modellen der Mengenlehre und Determiniertheit. So bewies er mit Donald A. Martin projektive Determiniertheit unter Annahme eines Axioms der Existenz großer Kardinalzahlen (veröffentlicht 1989). Beide erhielten für diese Arbeit mit W. Hugh Woodin 1988 den Karp-Preis. Steele ist der Gödel-Lecturer 2012.

1990 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Kyōto (Iteration trees).

Schriften[Bearbeiten]

  • The Core Model Iterability Problem, Springer 1996

Weblinks[Bearbeiten]