Seminario Mundo/Lógica/Modelos. Nicolás Nájar: Juegos modelos-teóricos en Clases Elementales Abstractas

[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 con nuestro Seminario Mundo/Lógica/Modelos con la charla de Nicolás Nájar.

Martes 27 de febrero, 16:15. Salón 404-201 Universidad Nacional

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

Resumen: 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.