- 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.
Schriften
- The Core Model Iterability Problem, Springer 1996
Weblinks
Kategorien:- Mathematischer Logiker (20. Jahrhundert)
- Hochschullehrer (University of California, Los Angeles)
- Hochschullehrer (Berkeley, Kalifornien)
- US-Amerikaner
- Geboren 1948
- Mann
Wikimedia Foundation.