John R. Steel

John R. Steel ( born October 30, 1948) is an American mathematical logician who deals with axiomatic set theory.

John Steel received his doctorate in 1977 at John West Addison and Stephen G. Simpson at the University of California, Berkeley ( Determinateness and subsystem of Analysis ). He was in the 1990s, a professor at the University of California, Los Angeles ( UCLA) and is now a professor at Berkeley.

Steel deals with inner models of set theory and determinism. So he proved with Donald A. Martin projective determinacy, assuming an axiom of the existence of large cardinals (published 1989). Both received the Karp Prize for this work with W. Hugh Woodin 1988. Steele is the Godel Lecturer in 2012.

In 1990 he was invited speaker at the International Congress of Mathematicians in Kyoto ( iteration trees ).

Writings

• The Core Model Iterability problem, Springer 1996