notas sobre hoy
La exposición de A. Forero dio el esquema general de la demostración, junto con algunas definiciones. Como seguramente notaron, el tema no es para nada simple, aunque Andrés aisló varios de los puntos clave de la prueba. Evidentemente, iteraciones más complejas de forcing requieren otras técnicas.
Puntos clave: levantar una inmersión elemental, descomponer el forcing j(P) como isomorfo a P*Qv, usar que el colapso es ω1-cerrado.
No olviden ir preparando sus notas para la exposición suya. Siguen Camilo Argoty (19.10 y 26.10), Rafael Benjumea (2.11 y 5.11). Las dos charlas de 26.10 y 2.11 serán hechas en ausencia mía. Procuren dejar mucho más material para antes y después de mi salida. Pero me alegra mucho que ustedes mismos hayan propuesto seguir (aunque sea solo los martes) mientras regreso. Ya repondremos tiempo, en todo caso.
Puntos clave: levantar una inmersión elemental, descomponer el forcing j(P) como isomorfo a P*Qv, usar que el colapso es ω1-cerrado.
No olviden ir preparando sus notas para la exposición suya. Siguen Camilo Argoty (19.10 y 26.10), Rafael Benjumea (2.11 y 5.11). Las dos charlas de 26.10 y 2.11 serán hechas en ausencia mía. Procuren dejar mucho más material para antes y después de mi salida. Pero me alegra mucho que ustedes mismos hayan propuesto seguir (aunque sea solo los martes) mientras regreso. Ya repondremos tiempo, en todo caso.
0 Comments:
Post a Comment
<< Home