Difusión por canales del Departamento

[Edwin Rodrigo Celis Montealegre]

A continuación encontrarán la información del Seminario Mundo/Lógica/Modelos. 

Agradecemos a los canales del Departamento realizar difusión.

Continuamos este próximo viernes con nuestro Seminario Mundo/Lógica/Modelos con la conferencia inaugural a cargo del Profesor Andrés Villaveces. 

Martes 20 de febrero, 16:15

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.