Tarski's problem about the elementary theory of free groups has a positive solution.
Kharlampovich, Olga ; Myasnikov, Alexei
Electronic Research Announcements of the American Mathematical Society [electronic only], Tome 4 (1998), p. 101-108 / Harvested from The Electronic Library of Mathematics
Access to full text
Full (PS)
Publié le : 1998-01-01
DOI : https://doi.org/10.1090/S1079-6762-98-00047-X
EUDML-ID : urn:eudml:doc:223371 
@article{01267791,
     title = {Tarski's problem about the elementary theory of free groups has a positive solution.},
     journal = {Electronic Research Announcements of the American Mathematical Society [electronic only]},
     volume = {4},
     year = {1998},
     pages = {101-108},
     doi = {10.1090/S1079-6762-98-00047-X},
     zbl = {0923.20016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01267791}
}

Kharlampovich, Olga; Myasnikov, Alexei. Tarski's problem about the elementary theory of free groups has a positive solution.. Electronic Research Announcements of the American Mathematical Society [electronic only], Tome 4 (1998) pp. 101-108. doi : 10.1090/S1079-6762-98-00047-X. http://gdmltest.u-ga.fr/item/01267791/