Logic Seminar

Friday, November 4, 2022 10:30 am - 10:30 am EDT (GMT -04:00)

Rahim Moosa, Department of Pure Mathematics, University of Waterloo

"When any two solutions are independent"

I will talk about work with James Freitag and Remi Jaoui, from late last year, applying model theory to the study of algebraic differential equations. The result is as follows: Given any algebraic differential equation, if there is a nontrivial algebraic relation among any number of its solutions and their derivatives then there is already such a relation between two solutions. The proof uses ideas from geometric stability theory, including binding group actions, of which I will try to give some flavour.

MC 5403