John R. Steel earned his Ph.D. in Logic and the Methodology of Science at the University of California, Berkeley in 1977. His dissertation research occurred under the joint supervision of John West Addison Jr. and Stephen G. Simpson, establishing a career focused on the intricate fields of set theory and the foundations of logic.
Academic Contributions
Steel holds an American citizenship and spent his professional life as a mathematician, university teacher, and philosopher. He spent his career in the United States, transitioning from a position at the University of California, Los Angeles to a role at the University of California, Berkeley. His primary contributions focus on the theory of inner models and determinacy.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Collaborative Proofs
Working alongside Donald A. Martin, Steel proved projective determinacy. This mathematical achievement relied on the assumption that sufficiently large cardinals exist. This work represents a significant milestone in set theory, reflecting the cumulative nature of mathematical progress where proofs remain valid long after their initial discovery.
Recognition and Awards
The Association for Symbolic Logic honored Steel in 1988 with the Carol Karp Prize, which he shared with Donald A. Martin and W. Hugh Woodin for research regarding the consistency of determinacy relative to large cardinals. In 2012, he delivered the Gödel Lecture, titled The hereditarily ordinal definable sets in models of determinacy. Further recognition followed in 2015 when the European Set Theory Society awarded him the Hausdorff Medal alongside Ronald Jensen for the paper titled K without the measurable. Most recently, he received the Shoenfield Prize in 2019.
Fast facts
- Born: 1948
- Citizenship: United States
- Education: University of California, Berkeley (Ph.D., 1977)
- Fields: Set theory, logic and foundations
- Carol Karp Prize: 1988
- Gödel Lecturer: 2012
- Hausdorff Medal: 2015
- Shoenfield Prize: 2019
Questions readers ask
What is the primary area of John R. Steel's research?
He specializes in set theory, specifically focusing on inner model theory and determinacy.
Where did Steel complete his doctoral studies?
He earned his Ph.D. in Logic and the Methodology of Science at the University of California, Berkeley.
Achievements
- Carol Karp Prize — 1988
- Hausdorff medal — 2015
- Shoenfield Prize — 2019
- Held posts at University of California, Los Angeles and University of California, Berkeley
- Fields: set theory
