John Robert Steel (nacido el 30 de octubre de 1948) es un teórico del conjunto estadounidense en la Universidad de California, Berkeley (anteriormente en UCLA ). Ha hecho muchas contribuciones a la teoría de los modelos internos y la determinación . Con Donald A. Martin , demostró la determinación proyectiva , asumiendo la existencia de suficientes cardenales grandes . Obtuvo su Ph.D. en Lógica y Metodología de la Ciencia en Berkeley en 1977 bajo la supervisión conjunta de John West Addison Jr. y Stephen G. Simpson . [1]
En 1988, la Asociación para la Lógica Simbólica le otorgó a Donald A. Martin y W. Hugh Wood en el Premio Karp por su trabajo sobre la consistencia de la determinación en relación con los grandes cardenales. En 2015, la European Set Theory Society le otorgó a él y a Ronald Jensen la medalla Hausdorff por su trabajo "K sin lo medible".
Referencias
enlaces externos
- Página de inicio en Berkeley