Showing 2024Show all
2 papers · 1 filter
math.LO2024
Some model theory of quadratic geometries
Charlotte Kestner, Nicholas Ramsey
Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic for…
math.LO2024
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…