# 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.

# Cuatro conexiones entre Arte, Filosofía y Matemática (Popayán, 10/18)

Escuela Nacional de Historia y Educación Matemática (ENHEM)

ENHEM VI: Historia, Filosofía y Educación Matemática

Universidad del Cauca – Popayán – 25 a 27 de octubre de 2018

Viernes 26 de octubre, 2:30 a 4:30 pm.
Sábado 27 de octubre, 9:15 a 11:15 am.
Salón 303 MAT.
Resumen – Exploraremos cuatro conexiones que entrelazan temas de matemática, de filosofía y de arte:
• Estética y Matemática
• Simplicidad en Arte y Matemática (el “problema 24 de Hilbert”)
• Categoricidad en Matemática, perfección en Arte
• Reflexiones en torno al Infinito en Arte, Matemática y filosofía

# Grasping smoothly and letting go: categoricity and location. Helsinki, 5/15

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.