INDEPENDENCIA EN TEORÍAS SIMPLES(Lógica sin tanta lógica)

Christian _Rodriguez
Universidad Sergio Arboleda


RESUMEN

La noción de independencia es fundamental en la caracterización de teorías simples, en este sentido el teorema Kim-Pillay es fundamental. En la conferencia se dará una breve introducción a modelos de una teoría para pasar luego a fórmulas y de ahí finalmente llegar a la noción de tipos (1-tipos completos) y división, este paso pondrá de manifiesto la dificultad de probar que una teoría es simple y permitirá apreciar la teoría de Kim-Pillay. Por último se expondra el uso del teorema mediante el clasico ejemplo del grafo aleatorio. No se hablará del sentido que tienen en teoría de modelos cada una de las hipótesis, pues la belleza del teorema radica en poder demostrar que una teoría es simple sin tener que saber que significa que una teoría sea simple.

SALON D406
FECHA 22 de Febrero 2011
HORA 6 pm