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 -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.
The Helsinki Collegium for Advanced Study invited me to give a lecture in the interdisciplinary meeting Getting There and Falling Short, where a number of art historians, linguists, mathematicians, philosophers, artists, etc. were invited to reflect on language’s ability of grasping concepts and its own shortcomings. My lecture (Grasping smoothly and letting go: categoricity and location) focused on categoricity and the problem of location.