John R. Steel

From Wikipedia, the free encyclopedia

John R. Steel is a 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, assuming the existence of sufficient large cardinals. He earned his Ph.D. in Logic & the Methodology of Science at Berkeley in 1977.

[edit] External link