A report on Tarski's decidability problem
Group Theory
2014-01-23 v1 Logic
Abstract
This paper contains a list of crucial mistakes and counterexamples to some of the main statements in the paper "Elementary theory of free nonabelian groups" by O. Kharlampovich and A. Myasnikov, which was published in the Journal of Algebra in June 2006.
Cite
@article{arxiv.1401.5711,
title = {A report on Tarski's decidability problem},
author = {Z. Sela},
journal= {arXiv preprint arXiv:1401.5711},
year = {2014}
}