Groupes nilpotents existentiellement clos de classe fixée
Existentially closed nilpotent groups of fixed class
Français
Nous démontrons que pour chaque $K \geq 2$, il y a une famille continupotente de groupes existentiellement clos nilpotents de e $k$, telle que si $G$ et $H$ sont deux groupes distincts dans la famille, alors il existe une proposition du premier ordre et de la forme $\exists \forall \exists $, qui est vraie dans $G$ mais pas dans $H$. La forme $\exists \forall \exists $ est la meilleure possible.