Logic Seminar
Ruizhang Jin
Waterloo
Constructing Analyzable Types in Differentially Closed Fields with Logarithmic Derivatives
Abstract: We generalize the well-known fact that the equation $\delta(\mathrm {log}\delta x)=0$ is analyzable in but not internal to the constants. We use the logarithmic derivative as a building block to construct analyzable types with a unique analysis of minimal length (up to interalgebraicity). We also look for criteria for a given definable set such that its pre-image under the logarithmic derivative is analyzable in but not internal to the constants.
We meet for lunch at noon on the first floor of SEO.
Thursday September 21, 2017 at 4:00 PM in SEO 427