Ponente: Michael Hrusak (CCM-UNAM, Morelia)
07/08/2012
de 12:00 a 13:00
Dónde Salón "Graciela Salicrup"
Resumen:
Una familia I de subconjuntos de un conjunto X forma un ideal si I es cerrada bajo subconjuntos y uniones finitas de sus elementos.
Los ideales sobre conjuntos numerables pueden ser considerados como subespacios del conjunto de Cantor, obteniendo asi su complejidad analítica. Los ideales de complejidad baja ($F_\sigma$ y $F_\sigma\delta$) están naturalmente ligados con submedidas inferiormente semicontinuas. Explicaremos dicha conexión y presentaremos una variedad de ideas involucradas en el estudio de ideales Borelianos, incluyendo juegos infinitos, métodos de combinatoria finita y pruebas de consistencia (forcing).