Equations in a free group. Elementary theory
General Mathematics
2017-09-15 v2
Abstract
We prove the decidability of the elementary theory of a free group.
Cite
@article{arxiv.0711.3708,
title = {Equations in a free group. Elementary theory},
author = {G. S. Makanin},
journal= {arXiv preprint arXiv:0711.3708},
year = {2017}
}