In the last several decades there has been a gradual shift from first order model theory to its non-elementary versions. This is driven by discoveries both of new model-theoretic notions and constructions and of new applications in number theory and algebraic geometry.

I will discuss one such development: categoricity and stability of abstract elementary classes and their connection to analytic aspects of algebraic/arithmetic geometry.