John R. Steel
John R. Steel (born October 30, 1948 ) is an American mathematical logician who deals with axiomatic set theory.
John Steel received his PhD in 1977 with John West Addison and Stephen G. Simpson at the University of California, Berkeley (Determinateness and Subsystems of Analysis). He was a professor at the University of California, Los Angeles (UCLA) in the 1990s and is now a professor at Berkeley.
Steel deals with internal models of set theory and determinacy . With Donald A. Martin he proved projective determinacy under the assumption of an axiom of the existence of large cardinal numbers (published 1989). Both received the Karp Prize in 1988 for this work with W. Hugh Woodin . Steele is the Gödel Lecturer 2012. He and Ronald Jensen received the Hausdorff Medal of the European Set Theory Society in 2015 for their work K without the measurable .
In 1990 he was invited speaker at the International Congress of Mathematicians in Kyoto ( Iteration trees ).
Fonts
- The Core Model Iterability Problem, Springer 1996
- with Ronald Jensen: K without the measurable, The Journal of Symbolic Logic, Volume 78, 2013, pp. 708-734
Web links
Individual evidence
| personal data | |
|---|---|
| SURNAME | Steel, John R. |
| BRIEF DESCRIPTION | American logician |
| DATE OF BIRTH | October 30, 1948 |