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] (1998)
- Volume: 4, Issue: 14, page 101-108
- ISSN: 1079-6762