Yutong Duan : Counting Models of $DCF_0$

Posted by Yutong Duan , part of the Louise Hay Logic Seminar.

At

Oct. 22, 2025, 4 p.m.

In

427 SEO

Abstract

In this talk, I will give the idea to prove that $DCF_0$ has $2^\lambda$ non-isomorphic models for any cardinal $\lambda$.