John R. Steel

John R. Steel is a Professor at the University of California, Berkeley, specializing in foundational areas of set theory, mathematical logic, and inner model theory. His research focuses on the interplay between large cardinals, determinacy axioms, and inner model constructions, contributing significantly to the understanding of core model theory, forcing axioms, and the continuum problem.

He has delivered plenary lectures and tutorials at major international conferences including the European Set Theory Society meetings, the Association for Symbolic Logic annual meetings, and the Joint Mathematics Meetings. Key topics in his talks include mouse theory, hod analysis, comparison lemmas, and philosophical aspects of Gödel's program.

Steel's work bridges technical set-theoretic constructions with foundational questions in mathematics, often addressing implications of determinacy axioms and large cardinal hypotheses in L(R) and beyond. His recent research explores multiverse perspectives, correctness results for extender models, and the consistency strength of AD-related principles.