| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4589357 | Journal of Algebra | 2006 | 102 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
