Introducción al forcing

Horarios

• Teóricos:
  • Martes, de 14:00 a 15:00 (salón 502 «azul»)
  • Viernes, de 17:00 a 19:00 (salón 502 «azul»)
• Práctico:
  • Martes, de 15:00 a 17:00 (salón 502 «azul»)

Diapositivas del curso

• 1. La teoría de conjuntos de Zermelo-Fraenkel (versión del 21/09/2024)
• 2. Modelos de ZF (versión del 08/10/2024)
• 3. Modelos booleanos de ZF(C) (versión del 08/11/2024)
• 4. Extensiones genéricas (versión del 25/10/2024)
• 5. Forcing axiomático (versión del 15/12/2024)

Prácticos

• Práctico 1 (versión del 02/09/2024)
• Práctico 2 (versión del 16/09/2024)
• Práctico 3 (versión del 09/11/2024)
• Práctico 4 (versión del 15/10/2024)
• Práctico 5 (versión del 18/11/2024)

Ejercicios entregables

1. Práctico 2: ejercicio 6
2. Terminar la construcción del modelo de ZFC + ¬AC (Cohen) empezado en clase

Examen

• Período de diciembre: -
• Período de febrero: miércoles 12/02