Solomon Feferman ble tildelt Rolf Schock-prisen i logikk og filosofi «for hans arbeider om metamatematikkens aritmetrisering, transfinite progresjoner av teorier, og predikativitet».