Tarski's problem about the elementary theory of free groups has a positive solution.

Kharlampovich, Olga, and 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] 4.14 (1998): 101-108. <http://eudml.org/doc/223371>.

@article{Kharlampovich1998,
author = {Kharlampovich, Olga, Myasnikov, Alexei},
journal = {Electronic Research Announcements of the American Mathematical Society [electronic only]},
keywords = {free groups; elementary theories; Tarski's problems},
language = {eng},
number = {14},
pages = {101-108},
publisher = {American Mathematical Society, Providence},
title = {Tarski's problem about the elementary theory of free groups has a positive solution.},
url = {http://eudml.org/doc/223371},
volume = {4},
year = {1998},
}

TY - JOUR
AU - Kharlampovich, Olga
AU - Myasnikov, Alexei
TI - Tarski's problem about the elementary theory of free groups has a positive solution.
JO - Electronic Research Announcements of the American Mathematical Society [electronic only]
PY - 1998
PB - American Mathematical Society, Providence
VL - 4
IS - 14
SP - 101
EP - 108
LA - eng
KW - free groups; elementary theories; Tarski's problems
UR - http://eudml.org/doc/223371
ER -