Cierre: el pasado lunes cerramos con dos cosas:

• Una presentación de cómo eliminar la hipótesis de docilidad (tameness) en la demostración de categoricidad ascendente. Este es un nuevo esquema debido a Grossberg, VanDieren y Villaveces, que combina el teorema de omisión de tipos de Morley con los resultados anteriores de Shelah (artículo [Sh 394]) y Grossberg-VanDieren.
  
• Miguel Jara hizo una presentación de algunos teoremas de Hyttinen y Tuuri, y de Shelah y Hyttinen sobre conexiones entre OTOP, DOP y juegos de Ehrenfeucht-Fraïssé.