Charlas 

20 de febrero del 2026.

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.

La lectura correcta de las fotos de los tableros capturados en el Seminario, debe hacerse de derecha a izquierda.

27 de febrero del 2026.

Expositor: Nicólas Nájar.

Título de la Charla: Juegos modelos-teóricos en Clases Elementales Abstractas. 

Basado en el árbol canónico de una Clase Elemental Abstracta (AEC) definido por Shelah y Villaveces en [Sh:1184], definiré dos juegos en este contexto: un juego de la verdad y uno de comparación. El primero nos servirá para saber cuando una estructura pertenece o no a una AEC, y con el segundo averiguaremos si dos estructuras de una AEC  son isomorfas. Por último, utilizaremos la axiomatización de Shelah y Villaveces dada en [Sh:1184] para analizar si los juegos definidos son determinados o no. Este trabajo hace parte de la investigación de mi tesis doctoral.