Una caja de herramientas modelo-teóricas para estudiar minimalidad fuerte de soluciones de ecuaciones diferenciales.

Seminario Lógica y Geometría (Bogotá, 8/18).

Nos concentraremos en una sola ecuación diferencial de orden (dada por el polinomio ), aquella cuya solución es la famosa invariante modular (Gauss, Weierstrass, …) y compararemos ideas recientes de dos estilos distintos para establecer que las soluciones de son fuertemente minimales: el camino de Freitag y Scanlon por un lado (que usa un lema de estabilidad más un lema de ecuaciones diferenciales debido a Nishioka), y el camino de Aslanyan (que entrelaza la modularidad de con su ecuación diferencial a través de Ax-Schanuel para [Pila-Tsimerman]), con miras al uso de estas ideas para otras ecuaciones.