Seminario Mundo - Lógica - Modelos (viernes, 16:15 a17:45). Salón 404-201 Universidad Nacional, organizado por UNAL-Bogotá: un seminario de investigación centrado en los trabajos de los estudiantes de lógica del Doctorado en Ciencias-Matemáticas. Responsable: Andrés Villaveces, (UNAL-Bogotá).
En esta edición del seminario daremos especial énfasis a la exploración de distintos juegos lógicos-semánticos y a cómo estos permiten revelar y caracterizar relaciones internas entre elementos de los modelos de primer orden.
Encontrarán abajo el cronograma de las charlas junto con sus respectivos títulos.