John R. Steel
{{Short description|American mathematician (born 1948)}}
John Robert Steel (born October 30, 1948) is an American set theorist at University of California, Berkeley (formerly at UCLA). He has made many contributions to the theory of inner models and determinacy. With Donald A. Martin, he proved projective determinacy,{{cite journal|author=Martin, Donald A. and John R. Steel|date=Jan 1989|title=A Proof of Projective Determinacy|jstor=1990913|journal=Journal of the American Mathematical Society|volume=2|issue=1|pages=71–125|doi=10.2307/1990913|doi-access=free}} assuming the existence of sufficient large cardinals. He earned his Ph.D. in Logic & the Methodology of Science at Berkeley in 1977 under the joint supervision of John West Addison Jr. and Stephen G. Simpson.{{MathGenealogy|id=22128}}
Awards
In 1988, the Association for Symbolic Logic awarded him, Donald A. Martin and W. Hugh Woodin the Karp Prize for their work on the consistency of determinacy relative to large cardinals. In 2015, the European Set Theory Society awarded him and Ronald Jensen the Hausdorff Medal for their paper "K without the measurable".
In 2012, Steel held the Gödel Lecture titled The hereditarily ordinal definable sets in models of determinacy.
References
{{reflist}}
External links
- [http://math.berkeley.edu/~steel/ Home page] at Berkeley
{{Authority control}}
{{DEFAULTSORT:Steel, John R.}}
Category:20th-century American mathematicians
Category:21st-century American mathematicians
Category:University of California, Berkeley alumni
Category:University of California, Berkeley faculty
Category:University of California, Los Angeles faculty
Category:Hausdorff Medal winners
{{US-mathematician-stub}}