Rolf Schock Prize - Logic and Philosophy 2003

“for his works on the arithmetization of metamathematics, transfinite progressions of theories, and predicativity”