Rolf Schock Prize - Logic and philosophy 2018

Citation
“for his outstanding contributions to mathematical logic, in particular to model theory, in which his classification of theories in terms of so-called stability properties has fundamentally transformed the field of research of this discipline”