Rolf Schock Prize - Logic and Philosophy 2003

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