Title: Model Theory in Abstract Elementary Classes
Stability theory for first order logic developed very quickly after 1970, prompted by the work of Morley, Lachlan, Baldwin, Shelah and Lascar, among others. Earlier on, model theory of infinitary logics, generalized quantifiers had been started (Keisler, Mostowski) but its stability theory was for a long time postponed. Around 25 years ago, a synthesis of many of these logics started, with semantic rather than syntactic emphasis, with focus on the classes of models rather than on the logics axiomatizing them. This synthesis, started by Shelah, is Abstract Elementary Classes. What followed was the development of a very rich and structural stability theory for these classes. Recently, the emphasis has gone back to the interplay with many logics, on the one hand, and with category theory, on the other hand.
There will be four sessions, organized as follows:
1- Sunday 22th Nov. 10-12 in IPM
2- Tuesday 24th Nov.13-15 in AUT
4- Sunday 29th Nov. 10-12 in IPM.