Teoría de Modelos a través de ejemplos

Ponente(s): Ricardo Isaac Bello Aguirre

En la actualidad, es muy común encontrar a la Lógica Matemática dividida en cuatro grandes áreas, Teoría de Conjuntos, Teoría de la Demostración/Prueba, Teoría de la Computabilidad y Teoría de Modelos, a muy grandes rasgos se ocupan, respectivamente, de estudiar, los conjuntos (objetos), pruebas (justificaciones), algoritmos (transformaciones), y la verdad (estructuras). En esta plática nos ocuparemos de presentar los objetos de estudio de la Teoría de Modelos a través de ejemplos, y más aún presentar una manera intuitiva de ver a la Teoría de Modelos como una ``Teoría de Ejemplos'' o, más precisamente, una ``Teoría de clasificación de ejemplos''. Esto nos permitirá presentar, por último, algunas de las áreas activas en la teoría de clasificación y de la estabilidad generalizada.