Rolf Schock Prize - Logic and philosophy 2003

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