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 language | English |
---|---|
Pages (from-to) | 451-552 |
Number of pages | 102 |
Journal | Journal of Algebra |
Volume | 302 |
Issue number | 2 |
DOIs | |
State | Published - 15 Aug 2006 |
Keywords
- Elementary theory
- Free group