Louise Hay Logic Seminar
Yutong Duan
University of Illinois at Chicago
Several ways to prove strong minimality in DCF_0
Abstract: I may quickly go over several ways to prove strong minimality and show the proof of "D_3 implies stongly minimal".
Thursday February 22, 2024 at 3:00 PM in 427 SEO