Yutong Duan : Several ways to prove strong minimality in DCF_0

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

At

Feb. 22, 2024, 3 p.m.

In

427 SEO

Abstract

I may quickly go over several ways to prove strong minimality and show the proof of "D_3 implies stongly minimal".