Introduccion a las pruebas de independencia

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 los axiomas comunes de la teoría de conjuntos. Presentaremos ejemplos de tales enunciados provenientes de varias ramas de las matemáticas.

Compartir este seminario