La inconsistencia de Kunen

Ponente(s): Francisco Santiago Nieto De La Rosa

Es fácil oír hablar de los teoremas de Goedel, en particular de su teorema de incompetud que establece condiciones a una teoría para determinar que no va a poder probar su propia consistencia. Sin embargo hay mas teoremas de este tipo, en particular habalremos de el teorema de inconsistencia de Kunen el cual nos dice que no hay encajes elementales no triviales del universo en sí mismo. El objetivo dela plática es dar a conocer la prueba de este teorema, obviando algunos resultados tal vez no tan básicos daremos una pequeña introducción a encajes elementales y sentaremos las bases para entender y enunciar el teorema en cuestión.