Metadata
Author: WikiMatrix
Data
French[fr]
Elle est surtout connue pour son exemple de groupe résoluble finiment présenté en 3 étapes avec un problème de mot insoluble (solution du problème de Novikov–Adian) et pour la solution en collaboration avec A. Myasnikov de la conjecture de Tarski (datant de 1945) à propos de l'équivalence des théories du premier ordre de groupes libres non-abéliens finiment générés (aussi résolu par Zlil Sela (en)) et la théorie commune de la décidabilité.
Portuguese[pt]
É conhecida principalmente por seu exemplo de uma finitude apresentada em 3-passos de grupo solucionáveis com o problema da palavra (soluçãodo problema de Novikov–Adian) e pela solução, juntamente com A. Myasnikov da conjectura de Tarski (a partir de 1945) sobre a equivalência de primeira ordem de finitude não abeliana de grupos livres (também resolvidos por Zlil Sela) e decidabilidade desta teoria comum.