He developed the classification theory, introduced stability theory, abstract elementary classes, and Galois types in particular. He is also the creator of pcf theory?, among other things.