Charlas 

Expositor: Andrés Villaveces.

Título de la Charla: Lógicas, juegos y grupoides.

• Los juegos de separación (variantes del juego de Ehrenfeucht-Fraïssé: dadas M,N dos τ-estructuras, ¿existe φ tal que M satisface φ pero N no la satisface? - más en general - si no son isomorfas... ¿qué tan distintas son realmente? ¿podemos calibrar su diferencia? ¿medir la profundidad de similitud entre M y N?)

• Los juegos de la verdad (dados M y φ, ¿M satisface φ?)

Examinaré varias versiones: desde los juegos más clásicos hasta algunos bastante más recientes (el juego prolapsado de Shelah, el juego de Cartagena, etc., variantes todos del juego de separación) y el juego de pertenencia a una AEC como variante del juego de la verdad. Definiré algunos invariantes asociados a varios de esos juegos, y trabajos recientes (algunos de esos con Nájar) en esos temas.

También hablaré de grupoides asociados a lógicas, y de lógicas extraídas de grupoides. Este último tema se debe a trabajos de 1988 de Caicedo y Sette. Están relacionados con los temas anteriores de manera natural, pero con un énfasis algebraico hasta ahora poco examinado fuera del trabajo de los dos autores. Mostraré algunas conexiones.