John Robert Steel (nacido el 30 de octubre de 1948) es un teórico de conjuntos estadounidense de la Universidad de California, Berkeley (anteriormente en UCLA ). Ha realizado numerosas contribuciones a la teoría de los modelos internos y la determinabilidad . Junto con Donald A. Martin , demostró la determinabilidad proyectiva , [1] suponiendo la existencia de suficientes cardinales grandes . Obtuvo su doctorado 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 . [2]
En 1988, la Asociación de Lógica Simbólica le otorgó a él, a Donald A. Martin y a W. Hugh Woodin el Premio Karp por su trabajo sobre la consistencia de la determinación relativa a los grandes cardinales. En 2015, la Sociedad Europea de Teoría de Conjuntos le otorgó a él y a Ronald Jensen la Medalla Hausdorff por su artículo "K sin lo medible".
En 2012, Steel celebró la Conferencia Gödel titulada Los conjuntos definibles ordinales hereditarios en modelos de determinación.