Showing math.LOShow all
2 papers · 1 filter
math.LO2025
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 -nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which…
math.LO2024
Model-theoretic properties of nilpotent groups and Lie algebras
Christian d'Elbée, Isabel Müller, Nicholas Ramsey +1
We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent studied by Baudi…