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

Olga Kharlampovich, Alexei Myasnikov

Research output: Contribution to journalArticlepeer-review

30 Scopus citations

Abstract

We prove that the elementary theories of all nonabelian free groups coincide and that the elementary theory of a free group is decidable. These results answer two old questions that were raised by A. Tarski around 1945.

Original languageEnglish
Pages (from-to)101-108
Number of pages8
JournalElectronic Research Announcements of the American Mathematical Society
Volume4
Issue number14
DOIs
StatePublished - 14 Dec 1998

Keywords

  • Elementary theory
  • Free group
  • Tarski

Fingerprint

Dive into the research topics of 'Tarski’s problem about the elementary theory of free groups has a positive solution'. Together they form a unique fingerprint.

Cite this