Seminario de topología - 2.5 hrs/sem
Hrusak Michael
Temas avanzados de forcing iterado
Desarrollar la teoría de iteraciones con "templates" de Shelah con aplicaciones a ultrafiltros y familias casi ajenas maximales.
Temario
1. Que es un template
2. Amalgamación de forcing
3. Forzar con ultrapotencias
4. Iteraciones con templates.
5. Consistencia de d<a
6. Consistencia de a tiene cmofinalidad numerable
7. Indestructibilidad de familias casi ajenas en iteraciones con templates.
Bibliografía
1. Brendle, Jörg Mad families and iteration theory. Logic and algebra, 1–31, Contemp. Math., 302, Amer. Math. Soc., Providence, RI, 2002.
2. Mejía, Diego A. Template iterations with non-definable ccc forcing notions. Ann. Pure Appl. Logic 166 (2015), no. 11, 1071–1109.
3. Shelah, Saharon Two cardinal invariants of the continuum (d<a) and FS linearly ordered iterated forcing. Acta Math. 192 (2004), no. 2, 187–223.
Requisitos
Conocimiento avanzado del método de forcing.
