Yutong Duan : $\mathcal{C}$-internality in DCF_0
Posted by Yutong Duan , part of the Louise Hay Logic Seminar.
- At
- Oct. 30, 2024, 2 p.m.
- In
- 427 SEO
- Abstract
- When can we keep $\mathcal{C}$-internality of a type under a definable function.
Posted by Yutong Duan , part of the Louise Hay Logic Seminar.