Towards a general method for showing strong minimality of differential equations

Logic Seminar
Tue, August 30, 2022
1:50 pm - 2:50 pm
Enarson 206 or Zoom

Title:  Towards a general method for showing strong minimality of differential equations
 
Speaker:  Matthew DeVilbiss (OSU)
 
Abstract:  In this talk, I will outline a technique for showing that nonlinear algebraic differential equations are strongly minimal. This is used to prove the strong minimality of generic differential equations with sufficiently large degree, answering a question of Poizat (1980). I will also discuss ongoing work in applying this method to differential equations of interest whose coefficients are not generic. This is joint work with James Freitag.
 
Seminar website: