5 citations · 9 across the 9 of their papers we have counts for
9 papers
Shirshov's amalgamated free product and generic nilpotent groups
Christian d'Elbée, Isabel Müller, Nicholas Ramsey +1
In earlier work, the authors gave a construction and description of an amalgamated free product of filtered Lie algebras within a fixed nilpotency class, based on an intricate indu…
Cofinality of Regular Tournaments
Omar Hatem, Sara Mohamed, Isabel Müller +1
We show that the class of all finite regular tournaments is cofinal in the class of finite tournaments. In addition, we establish cofinality results for certain special subclasses…
A Group with Exactly One Noncommutator
Omar Hatem, Daoud Siniora
The question of whether there exists a finite group of order at least three in which every element except one is a commutator has remained unresolved in group theory. In this artic…
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…
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 Baudisc…
On Theoretical Complexity and Boolean Satisfiability
Mohamed Ghanem, Dauod Siniora
Theoretical complexity is a vital subfield of computer science that enables us to mathematically investigate computation and answer many interesting queries about the nature of com…
On the automorphism group of the universal homogeneous meet-tree
Itay Kaplan, Tomasz Rzepecki, Daoud Siniora
We show that the countable universal homogeneous meet-tree has a generic automorphism, but it does not have a generic pair of automorphisms.
Coherent extension of partial automorphisms, free amalgamation, and automorphism groups
Daoud Siniora, Sławomir Solecki
We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinato…
Bowtie-free graphs and generic automorphisms
Daoud Siniora
We show that the countable universal omega-categorical bowtie-free graph admits generic automorphisms. Moreover, we show that this graph is not finitely homogenisable.