Elementary theory of free non-abelian groups

Olga Kharlampovich, Alexei Myasnikov

Research output: Contribution to journalArticlepeer-review

175 Scopus citations

Abstract

We prove that any two non-abelian free groups have the same elementary theory and that this theory is decidable. These results solve two questions that were raised by Tarski in 1945.

Original languageEnglish
Pages (from-to)451-552
Number of pages102
JournalJournal of Algebra
Volume302
Issue number2
DOIs
StatePublished - 15 Aug 2006

Keywords

  • Elementary theory
  • Free group

Fingerprint

Dive into the research topics of 'Elementary theory of free non-abelian groups'. Together they form a unique fingerprint.

Cite this