Instituciones Participantes

CCM logo
FISMAT logo
IFM logo
Semestre 2027-1

Temas selectos de topología I - 4.5 hrs/sem
Guzmán González Osvaldo
Proper forcing y la estructura de los reales
Introducción al proper forcing y aplicaciones a la estructura de los reales.
Temario
Proper Forcing

1) Definición y ejemplos
2) Teorema de iteración de Shelah

Modelos especiales

1) Modelo de Sacks
2) Modelo de Cohen
3) Modelo de Miller
4) Modelo de Laver
5) Modelo de Mathias
6) Consistencia de la existencia de un único P punto

Introducción a axiomas de Forcing

1) MA
2) PFA
Bibliografía
Set theory. Kunen
Set Theory. On the structure of the real line. Bartoszynski, Judah
Forcing Idealized. Zapletal
Notes on Forcing Axioms. Todorcevic
Proper and improper forcing. Shelah
Requisitos