On the interplay between Abstract Elementary Classes and Categorical Logic – Bogotá (v), 6/20

For the Seminario Flotante de Lógica Matemática de Bogotá, I gave the lecture On the interplay between Abstract Elementary Classes and Categorical Logic.

Abstract: I will describe two recent lines of interplay between Abstract Elementary Classes and Categorical Logic: the problem of building the “Galois group” of an AEC (building on Lascar and Poizat’s work on the “Galois theory of model theory”, and on the role of the Small Index Property – joint work of mine with Ghadernezhad) and interpreting $\lambda$-categoricity in terms of properties of classifying topoi (recent work of Espíndola, connected to his ground-breaking work on Shelah’s eventual categoricity conjecture). My talk will stress the way these connections appear and the opening of new lines of possibility.