Tag Archives: lurie

Lógica(s) y Topología(s) – desde Stone hasta Lurie / Bogotá, 2/20

Para el III Simposio Carlos Ruiz en la Universidad Nacional (Bogotá) di la charla Lógica(s) y Topología(s) – desde Stone hasta Lurie.

Resumen: En esta charla hago un recuento de tres teoremas de dualidad: Stone (1936), Makkai (1988 – generalizando resultados anteriores con Reyes) y Lurie (preprint, 2019) también llamados “Teoremas de Completitud Conceptual” en algunos contextos. Señalo el rol central de la topología como herramienta de reconstrucción (de la sintaxis a partir de la semántica) y planteo otros dos escenarios de reconstrucción análogos (trabajos conjuntos con Ghadernezhad – 2017 y con Shelah – en proceso).