The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

An Isaac Newton Institute Workshop

An Introduction to Recent Applications of Model Theory

Classes of (Lie) Differential Fields without Model Companions

Author: Yoav Yaffe (McMaster University)


A Lie differential field is a field F given with some Lie algebra L acting on F as derivations. If we fix L we get the class of L-differential fields, which has amalgamation when the characteristic is 0. If in addition L is finite dimensional over F then the above class has a model companion (and hence a model completion).

However if L isn't finitely presented (at least locally), i.e. if there is a finitely generated sub Lie algebra of L without a finite presentation, then the class of L-differential fields does NOT have a model companion. I will describe how this result is proved by producing a non-eliminable quantifier, using a system of linear PDEs. The question of a tighter connection between companionability and finite presentability remains open.