Education
University of California, Berkeley.
mathematician philosopher university professor
University of California, Berkeley.
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 Doctor of Philosophy in Logic & the Methodology of Science at Berkeley in 1977.
In 2015 the European Secretariat Theory Society awarded him and Ronald Jensen the Hausdorff medal for their paper "K without a measurable".