Temas selectos de topología II - 3 hrs/sem
Guzmán González Osvaldo
Introducción al método de Forcing
El curso será una introducción al método de forcing, el cual es la principal herramienta para constuir distintos modelos de ZFC y demostrar la independencia de un enunciado matemático.
Temario
1) Combinatoria de órdenes parciales
2) Extensiones genéricas
3) Independencia de la Hipótesis del Continuo y otras aplicaciones
4) Iteración con soporte finito
5) Axioma de Martin y sus aplicaciones
Bibliografía
Some Applications of the Method of Forcing. Todorcevic, Farah
Set Theory. Kunen
Set Theory: The Third Millennium Edition, Revised and Expanded. Jech
The Forcing Method in Set Theory. Viale
Requisitos
Teoría de Conjuntos
Combinatoria infinita.
Se sugiere al alumno tomar al mismo tiempo el curso de Michael Hrusak sobre combinatoria infinita
