Ponente: Michael Hrusak
Institución: CCM Morelia e IM-UNAM
07/10/2014
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Resumen:
El propósito de la plática es explicar en rasgos gruesos el método de forcing para demostrar consistencia y/o independencia (o indecidibilidad) de varios enunciados de la axiomas comunes de la teoría de conjuntos. Presentaremos ejemplos de tales enunciados.
Temas: