Groupes nilpotents existentiellement clos de classe fixée
Existentially closed nilpotent groups of fixed class
![Groupes nilpotents existentiellement clos de classe fixée](https://smf.emath.fr/sites/default/files/styles/image_165x234/public/2023-06/MSMF_1984_2_16__R1_0%20%28glisse%CC%81%28e%29s%29.jpg?itok=5ZRcOC_E)
- Année : 1984
- Tome : 16
- Format : Électronique
- Langue de l'ouvrage :
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.