La Lógica Matemática, y más específicamente su rama de Teoría de Modelos, tiene algo que decir sobre algunos resultados mayores de las Matemáticas del Siglo XX. Sin embargo, a veces su punto de vista difiere un poco del de los matemáticos clásicos.

El taller se centrará en lo que veen un algebraista y un lógico en un cuerpo algebraicamente cerrado o un grupo algebraico. Consistará en un esposición de hechos básicos, con poco demostraciones, y el animador se adaptará al nivel de sofisticación algebraica de su auditorio, de cero al infinito. 

Los idiomas del taller serán, por orden de preferencia, castillano, francés y inglés.

Sesión 1ra

Cuerpos algebraicamente cerrados (los Números Complejos, la closura de un cuerpo finito) ; eliminación de cuantificadores ; eliminación de elementos imaginarios ; conjuntos constructibles.

Sesión 3ra

Grupos algebraicos y grupos constructibles ; grupos algebraicos simples ; estructuras constructibles autónomas y versión model-teórica del Teorema de Borel-Tits.

Bibliografía

(¡ no se preocupen, es sólo para especialistas !)

[1] Bruno Poizat, Groupes Stables, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, 1987 (traducido por Moses KLEIN, Stable Groups, American Mathematical Society, 2001). 

[2] Bruno Poizat, "Paramètres dans les corps algébriquement clos", Annales mathématiques du Québec, Octobre 2025.