Louise Hay Logic Seminar
Yutong Duan
UIC
$\mathcal{C}$-internality in DCF_0
Abstract: When can we keep $\mathcal{C}$-internality of a type under a definable function.
Wednesday October 30, 2024 at 2:00 PM in 427 SEO