A two-sorted theory of nilpotent Lie algebras

Christian d'Elbée, Isabel Müller, Nicholas Ramsey +1

We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which…