El Premio Shoenfield se otorga por escritura expositiva excepcional en el campo de la lógica. Fue establecido por la Asociación de Lógica Simbólica (ASL) para honrar a Joseph R. Shoenfield por sus contribuciones sobresalientes a la lógica y por las habilidades expositivas de sus escritos. Se otorgan dos premios Shoenfield cada tres años, uno para un libro y otro para un artículo expositivo.
El premio 2013 fue otorgado a Itai Ben Yaacov, Alexander Berenstein, C. Ward Henson y Alexander Usvyatsov por el artículo: Model Theory for Metric Structures.
