A report on Tarski's decidability problem

2014/01/22 by Zlil Sela, Sela, Z.
Computer Science · Mathematics · #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #Logic (math.LO) #Logic, programming, and type systems #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.1401.5711

openalex publication_date 2014/01/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group

Related

• On Tarski's Decidability Problem
• An Elementary Proof of the Nonexistence of Tarski Monster Groups of Exponent 3
• On Tarski's problem for virtually free groups
• From uncountable abelian groups to uncountable nonabelian groups
• Unsolved Problems in Group Theory. The Kourovka Notebook