John Steel

John Robert Steel is an American set theorist at the 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 sufficiently large cardinals. He earned his Ph.D. in Logic & the Methodology of Science at Berkeley in 1977 under the joint supervision of John West Addison Jr. and Stephen G. Simpson.

Fonte Wikipedia (si apre in una nuova scheda) · licenza CC BY-SA 4.0