Logic Seminar
John T. Baldwin
UIC
DIFFERENTIALLY CLOSED FIELDS AND $L_{\omega_1,\omega}$-CATEGORICITY OF UNIVERSAL COVERS
Abstract: Sacks’ student Lenore Blum provided the first intuitive axiomatization of the
theory of differentially closed fields. Moreover, she established the $\omega$-stability of the
theory and thus the uniqueness of the prime model. Sacks book, Saturated Model
Theory, was the first book expounding stability theory and presented the notion of a
differentially closed field to a general logical audience. Zilber initiated the program
of proving $L_{\omega_1,\omega}$-categoricity in power for ‘canonical mathematical structures’. In
this talk we will describe recent advances unifying these two programs.
Tuesday January 24, 2023 at 4:00 PM in 636 SEO