El Teorema de Compacidad y algunas de sus aplicaciones

Ponente(s): Iván Martínez Ruiz

El Teorema de Compacidad es un resultado importante de la Teoría de Modelos en Lógica Clásica, el cual establece que un conjunto de sentencias de primer orden admite un modelo si y sólo sí cada uno de sus subconjuntos finitos admite un modelo. El propósito de esta charla es exponer algunos aspectos relevantes de este resultado, presentar algunas de sus aplicaciones en diversas áreas de las matemáticas y estudiar algunas generalizaciones de este resultado a lógicas que admiten una cantidad no numerable de sentencias.