Louise Hay Logic Seminar
Yutong Duan
UIC
Counting Models of $DCF_0$
Abstract: In this talk, I will give the idea to prove that $DCF_0$ has $2^\lambda$ non-isomorphic models for any cardinal $\lambda$.
Wednesday October 22, 2025 at 4:00 PM in 427 SEO